Author

David A. McAllester

3 books found

Cover of Automated Deduction - CADE-17

Automated Deduction - CADE-17

David A. McAllester · First published 2000

Cover of ONTIC

Ontic

David A. McAllester · First published 1989

Cover of Truth Maintenance Systems

Truth Maintenance Systems

David A. McAllester · First published 1988