Yazar
Duane Bibby
3 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)
Fantasia Apocalyptica Illustrated
Duane Bibby, Donald Knuth · CSLI Publications/Center for the Study of Language & Information
Sayfa sayısı yok · 2020
Bible, inspiration / Apocalyptic art / Sacred music / Illustrations / Songs and music
Reasoned Schemer, Second Edition
Daniel P. Friedman, William E. Byrd, Oleg Kiselyov, Jason Hemann, Duane Bibby · MIT Press
208 sayfa · 2018
Programming languages (electronic computers)