Automated deduction - CADE-15. 15th international conference, Lindau, Germany, July 5--10, 1998. Proceedings

DOI10.1007/BFB0054239MaRDI QIDQ1389909zbMATH OpenFDO

Authors

Publication date 13 July 1998

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

zbMATH Keywords

ConferenceProceedingsLindau (Germany)CADE-15

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Cited in

(7)

• About the incremental validation of first-order stratified knowledge-based decision-support systems
• Automated deduction -- CADE-12. 12th international conference, Nancy, France, June 26 -- July 1, 1994. Proceedings
• MBase: Representing knowledge and context for the integration of mathematical software systems
• Computer supported mathematics with MEGA
• Proof planning with multiple strategies
• TPS: A hybrid automatic-interactive system for developing proofs
• Automated deduction -- CADE-14. 14th international conference on automated deduction, Townsville, North Queensland, Australia. July 13--17, 1997. Proceedings

This page was built for publication: Automated deduction - CADE-15. 15th international conference, Lindau, Germany, July 5--10, 1998. Proceedings

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