First-Order Atom Definitions Extended
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Algorithms, Datastructures, and other Issues in Efficient Automated Deduction
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Vampire 1.1 (System Description)
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Journal of Symbolic Computation - Special issue: First order theorem proving
Superposition with equivalence reasoning and delayed clause normal form transformation
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
The design and implementation of VAMPIRE
AI Communications - CASC
Superposition with equivalence reasoning and delayed clause normal form transformation
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
Hi-index | 0.01 |