Automated deduction techniques for the management of personalized documents

DOI10.1023/A:1022976016809zbMath1023.68083MaRDI QIDQ1810920

Peter Baumgartner, Ulrich Furbach

Publication date: 9 June 2003

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

automated deductionfirst-order clausal logic

Mathematics Subject Classification ID

Related Items

A survey on retrieval of mathematical knowledge

Uses Software

• SPASS