IWIL 2012: Volume InformationIWIL 2012. The 9th International Workshop on the Implementation of Logics5 articles•52 pages•Published: November 25, 2013 Papers
Keyphrasesautomated theorem proving2, coherent logic, connection calculus, first-order logic, first-order modal logic, higher-order logic, implementation, proof objects, Rete. |