The little prover /

Պահպանված է:

Մատենագիտական մանրամասներ
Հիմնական հեղինակներ:	Friedman, Daniel P. (Հեղինակ), Eastlund, Carl (Հեղինակ)
Այլ հեղինակներ:	Bibby, Duane (Նկարազարդող), Moore, J. Strother (Ներածության հեղինակ և այլն:), Felleisen, Matthias (Վերջաբանի հեղինակ, վերջնագիր և այլն։)
Ձևաչափ:	Էլեկտրոնային էլ․ գիրք
Լեզու:	անգլերեն
Հրապարակվել է:	Cambridge, Massachusetts ; London, [England] : The MIT Press, 2015.
Խորագրեր:	Automatic theorem proving. LISP (Computer program language) Electronic books.
Առցանց հասանելիություն:	An electronic book accessible through the World Wide Web; click to view
Ցուցիչներ:	Ավելացրեք ցուցիչ Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!

Համացանց