The little prover /

Guardado en:

Detalles Bibliográficos
Autores principales:	Friedman, Daniel P. (Autor), Eastlund, Carl (Autor)
Otros Autores:	Bibby, Duane (Ilustrador), Moore, J. Strother (Autor de introducción, etc.), Felleisen, Matthias (Autor del epílogo, colofón, etc.)
Formato:	Electrónico eBook
Lenguaje:	inglés
Publicado:	Cambridge, Massachusetts ; London, [England] : The MIT Press, 2015.
Materias:	Automatic theorem proving. LISP (Computer program language) Electronic books.
Acceso en línea:	An electronic book accessible through the World Wide Web; click to view
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Internet