The little prover /

Tallennettuna:

Bibliografiset tiedot
Päätekijät:	Friedman, Daniel P. (Tekijä), Eastlund, Carl (Tekijä)
Muut tekijät:	Bibby, Duane (Kuvittaja), Moore, J. Strother (Esipuheen tekijä), Felleisen, Matthias (Jälkisanojen, kolofonin jne. tekijä)
Aineistotyyppi:	Elektroninen E-kirja
Kieli:	englanti
Julkaistu:	Cambridge, Massachusetts ; London, [England] : The MIT Press, 2015.
Aiheet:	Automatic theorem proving. LISP (Computer program language) Electronic books.
Linkit:	An electronic book accessible through the World Wide Web; click to view
Tagit:	Lisää tagi Ei tageja, Lisää ensimmäinen tagi!

The little prover / Tekijä Friedman, Daniel P., Eastlund, Carl

Julkaistu 2015.

An electronic book accessible through the World Wide Web; click to view

Elektroninen E-kirja