Computational logic : structure sharing and proof of program properties

में बचाया:
ग्रंथसूची विवरण
OCLC:76884781
मुख्य लेखक: Moore, J Strother
निगमित लेखक: University of Edinburgh
भाषा:English
प्रकाशित: 1973.
स्वरूप:

थीसिस Monograph Microform

Note that CRL will digitize material from the collection when copyright allows.

विवरण
भौतिक वर्णन:1 microfilm reel ; 35 mm.
प्रकाशन का स्थान:Scotland.