The little prover /

Saved in:

Bibliographic Details
Main Authors:	Friedman, Daniel P. (Author), Eastlund, Carl (Author)
Other Authors:	Bibby, Duane (Illustrator), Moore, J. Strother (Author of introduction, etc.), Felleisen, Matthias (Author of afterword, colophon, etc.)
Format:	Electronic eBook
Language:	English
Published:	Cambridge, Massachusetts ; London, [England] : The MIT Press, 2015.
Subjects:	Automatic theorem proving. LISP (Computer program language) Electronic books.
Online Access:	An electronic book accessible through the World Wide Web; click to view
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet