The little prover /

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Prif Awduron:	Friedman, Daniel P. (Awdur), Eastlund, Carl (Awdur)
Awduron Eraill:	Bibby, Duane (Darlunydd), Moore, J. Strother (Awdur y cyflwyniad etc.), Felleisen, Matthias (Awdur y diweddglo, coloffon etc.)
Fformat:	Electronig eLyfr
Iaith:	Saesneg
Cyhoeddwyd:	Cambridge, Massachusetts ; London, [England] : The MIT Press, 2015.
Pynciau:	Automatic theorem proving. LISP (Computer program language) Electronic books.
Mynediad Ar-lein:	An electronic book accessible through the World Wide Web; click to view
Tagiau:	Ychwanegu Tag Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!

Disgrifiad
Disgrifiad Corfforoll:	1 online resource (244 pages) : illustrations
Llyfryddiaeth:	Includes bibliographical references and index.
ISBN:	9780262330565 (e-book)

Eitemau Tebyg