The little prover /

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Friedman, Daniel P. (Verfasst von), Eastlund, Carl (Verfasst von)
Weitere Verfasser:	Bibby, Duane (Illustrationen), Moore, J. Strother (Geleitwort verfasst von), Felleisen, Matthias (Nachwort)
Format:	Elektronisch E-Book
Sprache:	Englisch
Veröffentlicht:	Cambridge, Massachusetts ; London, [England] : The MIT Press, 2015.
Schlagworte:	Automatic theorem proving. LISP (Computer program language) Electronic books.
Online-Zugang:	An electronic book accessible through the World Wide Web; click to view
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!

Ähnliche Einträge