|
|
PAAR-2010: Volume InformationPAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning10 articles•105 pages•Published: May 16, 2012 PapersKeyphrasesapplication in ontology reasoning, automated reasoning2, Benchmarking2, Boolean extensionality and modalities, component systems, connection calculus, decision procedures2, Development support, Dummett Logic, Evolvable systems, geometry, Grid Computing, higher-order reasoning, higher-order theorem proving, Isabelle, Performance aspects, prime implicates, propositional dynamic logic, QEPCAD, quantale, simplification, subsumption, tableau calculus, tableaux, test, TPTP language, Tries, typed higher-order form of TPTP. |
|
|