Directed automated theorem proving

DOI10.1007/3-540-36078-6_10MaRDI QIDQ4428297zbMATH OpenFDO

Authors Stefan Edelkamp, Peter Leven

Publication date 15 September 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2514/25140145.htm

Mathematics Subject Classification ID

Recommendations

• scientific article; zbMATH DE number 19780
• Directed and optimizing search methods in complex data structures.
• scientific article; zbMATH DE number 1737186
• Automatic acquisition of search guiding heuristics
• The search efficiency of theorem proving strategies

Cited in

(6)

• scientific article; zbMATH DE number 4162292 (Why is no real title available?)
• scientific article; zbMATH DE number 19780 (Why is no real title available?)
• scientific article; zbMATH DE number 516998 (Why is no real title available?)
• Algorithms, datastructures, and other issues in efficient automated deduction
• Directed and optimizing search methods in complex data structures.
• Focused Inductive Theorem Proving

Describes a project that uses

Uses Software

• Isabelle

This page was built for publication: Directed automated theorem proving

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4428297)