Advertisement

Ontic: A knowledge representation system for mathematics

  • David McAllester
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 310)

References

  1. [1]
    McAllester, David, Ontic: A Knowledge Representation System for Mathematics, MIT Press, 1988.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • David McAllester
    • 1
  1. 1.Computer Science DepartmentCornell UniversityIthaca

Personalised recommendations