The little prover /

Sábháilte in:

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Friedman, Daniel P. (Údar), Eastlund, Carl (Údar)
Rannpháirtithe:	Bibby, Duane (Maisitheoir), Moore, J. Strother (Údar an réamhrá), Felleisen, Matthias (Údar iarfhocail, colafain, srl.)
Formáid:	Leictreonach Ríomhleabhar
Teanga:	Béarla
Foilsithe / Cruthaithe:	Cambridge, Massachusetts ; London, [England] : The MIT Press, 2015.
Ábhair:	Automatic theorem proving. LISP (Computer program language) Electronic books.
Rochtain ar líne:	An electronic book accessible through the World Wide Web; click to view
Clibeanna:	Cuir clib leis Níl clibeanna ann, Bí ar an gcéad duine le clib a chur leis an taifead seo!

Ar líne