Home >
Books > Ontic A Knowledge Representation System for Mathematics
Logic & Foundations of Mathematics, Knowledge Representation, Computer Mathematics, Mathematical Programming & Operations Research
Ontic A Knowledge Representation System for Mathematics
by David A. McAllester
Write a review
Log in to track your reading progress.
There are no reviews yet.