Showing 1 - 1 results of 1 for search '"CADE ATP System Competition"', query time: 0.06s Refine Results
  1. 1
    Automated Reasoning Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings /
    Published 2004
    Table of Contents: “… Modulo -- Lambda Logic -- Formalizing Undefinedness Arising in Calculus -- Competition -- The CADE ATP…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search