PERRY N. FINLEY FOUNDATION
Title
ONTIC, A Knowledge Representation System for Math
Author
McAllester, David A.
Subject
Computer Science
Publisher
MIT Press
Copyright Year
ISBN
LC Call Number
LC Card Number
Return to library page.
Return to foundation home page.