Books listed by ISBN
>
The MIT Press
> David A. McAllester
David A. McAllester
title
ISBN-13
(ISBN-10)
year of publication
ONTIC: A Knowledge Representation System for Mathematics
978-O-262-13235-O
(O-262-13235-4)
1989
A.M.
·
D.A.
·
D. M.
·
David A.
·
David M.
·
David McAllester
David A. McCarron