The little prover /

Saved in:

Bibliografiske detaljer
Main Authors:	Friedman, Daniel P. (Author), Eastlund, Carl (Author)
Andre forfattere:	Bibby, Duane (Illustrator), Moore, J. Strother (Author of introduction, etc.), Felleisen, Matthias (Author of afterword, colophon, etc.)
Format:	Electronisk eBog
Sprog:	engelsk
Udgivet:	Cambridge, Massachusetts ; London, [England] : The MIT Press, 2015.
Fag:	Automatic theorem proving. LISP (Computer program language) Electronic books.
Online adgang:	An electronic book accessible through the World Wide Web; click to view
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!

Vær først til at give en kommentarø!

Lignende værker