Showing 1 - 2 results of 2 for search '"TPTP language"', query time: 0.03s Refine Results
  1. 1
    Automated Reasoning Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings /
    Published 2006
    Table of Contents: “… Algorithms -- Using the TPTP Language for Writing Derivations and Finite Interpretations -- Session 2. Search…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Automated Reasoning 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings /
    Published 2008
    Table of Contents: “… – The Core of the TPTP Language for Higher-Order Logic -- Focusing in Linear Meta-logic -- Certifying a Tree…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search