Automated deduction - CADE-15. 15th international conference, Lindau, Germany, July 5--10, 1998. Proceedings
From MaRDI portal
Publication:1389909
DOI10.1007/BFb0054239zbMath0892.00047MaRDI QIDQ1389909
No author found.
Publication date: 13 July 1998
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Related Items
Proof planning with multiple strategies ⋮ TPS: A hybrid automatic-interactive system for developing proofs ⋮ Computer supported mathematics with \(\Omega\)MEGA ⋮ MBase: Representing knowledge and context for the integration of mathematical software systems ⋮ About the incremental validation of first-order stratified knowledge-based decision-support systems
