Yazar
Carl Eastlund
1 cilt bulundu.
Cilt sonuçları
Little Prover
Daniel P. Friedman, Carl Eastlund, Duane Bibby · MIT Press
248 sayfa · 2015
Automatic theorem proving / Lisp (computer program language) / LISP (Computer program language)
Yükleniyor
Yükleniyor
Yazar
1 cilt bulundu.
Daniel P. Friedman, Carl Eastlund, Duane Bibby · MIT Press
248 sayfa · 2015
Automatic theorem proving / Lisp (computer program language) / LISP (Computer program language)