The little prover /

Gardado en:

Detalles Bibliográficos
Main Authors:	Friedman, Daniel P. (Author), Eastlund, Carl (Author)
Outros autores:	Bibby, Duane (Illustrator), Moore, J. Strother (Author of introduction, etc.), Felleisen, Matthias (Author of afterword, colophon, etc.)
Formato:	Electrónico eBook
Idioma:	inglés
Publicado:	Cambridge, Massachusetts ; London, [England] : The MIT Press, 2015.
Subjects:	Automatic theorem proving. LISP (Computer program language) Electronic books.
Acceso en liña:	An electronic book accessible through the World Wide Web; click to view
Tags:	Engadir etiqueta Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!

Sexa o primeiro en deixar un comentario!

Títulos similares