The little prover /

Guardat en:

Dades bibliogràfiques
Autors principals:	Friedman, Daniel P. (Autor), Eastlund, Carl (Autor)
Altres autors:	Bibby, Duane (Illustrador), Moore, J. Strother (Autor d'introducció, etc.), Felleisen, Matthias (Autor del postil·ló, colofó, etc.)
Format:	Electrònic eBook
Idioma:	anglès
Publicat:	Cambridge, Massachusetts ; London, [England] : The MIT Press, 2015.
Matèries:	Automatic theorem proving. LISP (Computer program language) Electronic books.
Accés en línia:	An electronic book accessible through the World Wide Web; click to view
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

Internet