Gazing: An approach to the problem of definition and lemma use

DOI10.1007/BF02341853zbMath0825.68583WikidataQ124864157 ScholiaQ124864157MaRDI QIDQ1197385

Dave Barker-Plummer

Publication date: 16 January 1993

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Mathematics Subject Classification ID

Related Items

Definitional expansions in Mizar. In memoriam of Andrzej Trybulec, a pioneer of computerized formalization ⋮ TPS: A hybrid automatic-interactive system for developing proofs ⋮ TPS: A theorem-proving system for classical type theory ⋮ A framework for using knowledge in tableau proofs ⋮ Premise Selection in the Naproche System ⋮ An abstract formalization of correct schemas for program synthesis

Cites Work

• Man-machine theorem proving in graph theory
• Planning in a hierarchy of abstraction spaces
• STRIPS: A new approach to the application of theorem proving to problem solving
• A Machine-Oriented Logic Based on the Resolution Principle
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item