The little prover /

Gorde:

Xehetasun bibliografikoak
Egile Nagusiak:	Friedman, Daniel P. (Egilea), Eastlund, Carl (Egilea)
Beste egile batzuk:	Bibby, Duane (Ilustratzailea), Moore, J. Strother (Introdukzio egilea, etabar.), Felleisen, Matthias (Amaieraren egilea)
Formatua:	Baliabide elektronikoa eBook
Hizkuntza:	ingelesa
Argitaratua:	Cambridge, Massachusetts ; London, [England] : The MIT Press, 2015.
Gaiak:	Automatic theorem proving. LISP (Computer program language) Electronic books.
Sarrera elektronikoa:	An electronic book accessible through the World Wide Web; click to view
Etiketak:	Etiketa erantsi Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!

Izan zaitez lehena ohar bat uzten!

Antzeko izenburuak