The little prover /

में बचाया:

ग्रंथसूची विवरण
मुख्य लेखकों:	Friedman, Daniel P. (लेखक), Eastlund, Carl (लेखक)
अन्य लेखक:	Bibby, Duane (व्याख्याता), Moore, J. Strother (परिचय का लेखक, आदि।), Felleisen, Matthias (ऑथरवर्ड, कोलोफॉन आदि के लेखक।)
स्वरूप:	इलेक्ट्रोनिक ई-पुस्तक
भाषा:	अंग्रेज़ी
प्रकाशित:	Cambridge, Massachusetts ; London, [England] : The MIT Press, 2015.
विषय:	Automatic theorem proving. LISP (Computer program language) Electronic books.
ऑनलाइन पहुंच:	An electronic book accessible through the World Wide Web; click to view
टैग:	टैग जोड़ें कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!

इंटरनेट