The little prover /

Kaydedildi:

Detaylı Bibliyografya
Asıl Yazarlar:	Friedman, Daniel P. (Yazar), Eastlund, Carl (Yazar)
Diğer Yazarlar:	Bibby, Duane (İllüstratör), Moore, J. Strother (Giriş yazarı, vb.), Felleisen, Matthias (Sonsöz, baskı bilgisi, vb. yazarı)
Materyal Türü:	Elektronik Ekitap
Dil:	İngilizce
Baskı/Yayın Bilgisi:	Cambridge, Massachusetts ; London, [England] : The MIT Press, 2015.
Konular:	Automatic theorem proving. LISP (Computer program language) Electronic books.
Online Erişim:	An electronic book accessible through the World Wide Web; click to view
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

Internet