scientific article; zbMATH DE number 1552519

MaRDI QIDQ4524779zbMATH OpenFDO

Authors Matthias Baaz, Uwe Egly, Alexander Leitsch

Publication date 3 July 2001

zbMATH Keywords

automated deductioninference methods

Mathematics Subject Classification ID

Recommendations

• Automated reasoning in some local exensions of ordered structures
• Publication:4941841
• scientific article; zbMATH DE number 88997
• scientific article; zbMATH DE number 417877
• scientific article; zbMATH DE number 726582

Cited in

(5)

• A new methodology for developing deduction methods
• scientific article; zbMATH DE number 1002576 (Why is no real title available?)
• scientific article; zbMATH DE number 1765701 (Why is no real title available?)
• Automated reasoning in some local exensions of ordered structures
• Finite methods in 1-order formalisms

This page was built for publication:

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