The little prover /

Spremljeno u:

Bibliografski detalji
Glavni autori:	Friedman, Daniel P. (Autor), Eastlund, Carl (Autor)
Daljnji autori:	Bibby, Duane (Ilustrator), Moore, J. Strother (Autor uvoda, itd.), Felleisen, Matthias (Autor epiloga, impresum, itd.)
Format:	Elektronički e-knjiga
Jezik:	engleski
Izdano:	Cambridge, Massachusetts ; London, [England] : The MIT Press, 2015.
Teme:	Automatic theorem proving. LISP (Computer program language) Electronic books.
Online pristup:	An electronic book accessible through the World Wide Web; click to view
Oznake:	Dodaj oznaku Bez oznaka, Budi prvi tko označuje ovaj zapis!

Slični predmeti