The little prover /

Bewaard in:

Bibliografische gegevens
Hoofdauteurs:	Friedman, Daniel P. (Auteur), Eastlund, Carl (Auteur)
Andere auteurs:	Bibby, Duane (Tekenaar), Moore, J. Strother (Auteur van inleiding, enz.), Felleisen, Matthias (Auteur van het nawoord, colofon, enz.)
Formaat:	Elektronisch E-boek
Taal:	Engels
Gepubliceerd in:	Cambridge, Massachusetts ; London, [England] : The MIT Press, 2015.
Onderwerpen:	Automatic theorem proving. LISP (Computer program language) Electronic books.
Online toegang:	An electronic book accessible through the World Wide Web; click to view
Tags:	Voeg label toe Geen labels, Wees de eerste die dit record labelt!

Internet