Showing 1 - 3 results of 3 for search 'McAllester, David', query time: 0.02s Refine Results
  1. 1
    Ontic : a knowledge representation system for mathematics /
    by McAllester, David A.
    Published 1989
    Book
  2. 2
    Automated Deduction - CADE-17 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings /
    Published 2000
    Other Authors: “…McAllester, David…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Logic Programming and Automated Reasoning 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings /
    Published 1999
    Other Authors: “…McAllester, David…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search