The little prover /

Na minha lista:

Detalhes 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:	Recurso Electrónico livro electrónico
Idioma:	inglês
Publicado em:	Cambridge, Massachusetts ; London, [England] : The MIT Press, 2015.
Assuntos:	Automatic theorem proving. LISP (Computer program language) Electronic books.
Acesso em linha:	An electronic book accessible through the World Wide Web; click to view
Tags:	Adicionar Tag Sem tags, seja o primeiro a adicionar uma tag!

Internet