DCTP
From MaRDI portal
Software:18709
No author found.
Related Items (19)
Semantically-guided goal-sensitive reasoning: model representation ⋮ History and Prospects for First-Order Automated Deduction ⋮ Unnamed Item ⋮ The disconnection tableau calculus ⋮ Semantically-guided goal-sensitive reasoning: inference system and completeness ⋮ Automated Reasoning About Metric and Topology ⋮ Proof Systems for Effectively Propositional Logic ⋮ Proof and Model Generation with Disconnection Tableaux ⋮ Towards a unified model of search in theorem-proving: subgoal-reduction strategies ⋮ The Relative Power of Semantics and Unification ⋮ Unnamed Item ⋮ Automated reasoning. 1st international joint conference, IJCAR 2001, Siena, Italy, June 18-22, 2001. Proceedings ⋮ Automated Reasoning with Analytic Tableaux and Related Methods ⋮ Automated Reasoning with Analytic Tableaux and Related Methods ⋮ Automated Deduction – CADE-19 ⋮ Duality for goal-driven query processing in disjunctive deductive databases ⋮ A relevance restriction strategy for automated deduction ⋮ Ordered semantic hyper tableaux ⋮ The IJCAR ATP system competition
This page was built for software: DCTP
