david a mcallester

David A. McAllester · MIT Press

166 sayfa · 1989

Automatic theorem proving / Knowledge representation (Information theory) / Ontic (Computer system) / Démonstration automatique / Théorèmes

David A. McAllester · Springer

512 sayfa · 2000

Congresses / Symbolic and mathematical Logic / Automatic theorem proving / Logic design / Computer science

David A. McAllester · American Association for Artificial Intelligence

Sayfa sayısı yok · 1988

Artificial intelligence