The little prover [E-Book] / Daniel P. Friedman and Carl Eastlund ; drawings by Duane Bibby ; foreword by J. Strother Moore ; afterword by Matthias Felleisen.
Friedman, Daniel P., (author)
Eastlund, Carl, (author) / Bibby, Duane, (illustrator) / Moore, J. Strother, (author of introduction) / Felleisen, Matthias, (author of afterword, colophon, etc)
Cambridge, Massachusetts ; The MIT Press, 2015
1 online resource (244 pages) : illustrations
englisch
9780262330565 (e-book)
Full Text
LEADER 01348nam a2200325 i 4500
001 EBC3433792
003 MiAaPQ
008 150729t20152015maua ob 001 0 eng d
020 |a 9780262330565 (e-book) 
035 |a (Sirsi) a742694 
041 |a eng 
082 0 |a 511.3/6028563  |2 23 
100 1 |a Friedman, Daniel P.,  |e author 
245 1 4 |a The little prover  |h [E-Book] /  |c Daniel P. Friedman and Carl Eastlund ; drawings by Duane Bibby ; foreword by J. Strother Moore ; afterword by Matthias Felleisen. 
264 1 |a Cambridge, Massachusetts ;  |a London, [England] :  |b The MIT Press,  |c 2015  |e (ProQuest) 
300 |a 1 online resource (244 pages) :  |b illustrations 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
500 |a englisch 
650 0 |a Automatic theorem proving. 
650 0 |a LISP (Computer program language) 
700 1 |a Eastlund, Carl,  |e author 
700 1 |a Bibby, Duane,  |e illustrator 
700 1 |a Moore, J. Strother,  |e author of introduction 
700 1 |a Felleisen, Matthias,  |e author of afterword, colophon, etc 
856 4 0 |u https://ebookcentral.proquest.com/lib/fz/detail.action?docID=3433792  |z Volltext 
915 |a zzwFZJProQuest 
596 |a 1 
949 |a XX(742694.1)  |w AUTO  |c 1  |i 742694-1001  |l ELECTRONIC  |m ZB  |r N  |s Y  |t E-BOOK  |u 31/7/2018  |x UNKNOWN  |z UNKNOWN  |1 ONLINE