The little prover /

Salvato in:

Dettagli Bibliografici
Autori principali:	Friedman, Daniel P. (Autore), Eastlund, Carl (Autore)
Altri autori:	Bibby, Duane (Illustratore), Moore, J. Strother (Autore dell'introduzione etc.), Felleisen, Matthias (Autore della postfazione, colophon, etc.)
Natura:	Elettronico eBook
Lingua:	inglese
Pubblicazione:	Cambridge, Massachusetts ; London, [England] : The MIT Press, 2015.
Soggetti:	Automatic theorem proving. LISP (Computer program language) Electronic books.
Accesso online:	An electronic book accessible through the World Wide Web; click to view
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Lascia un commento!

Documenti analoghi