Automated deduction techniques for the management of personalized documents

DOI10.1023/A:1022976016809MaRDI QIDQ1810920zbMATH OpenFDO

Authors Peter Baumgartner, Ulrich Furbach

Publication date 9 June 2003

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

Full work available at URL https://doi.org/10.1023/A:1022976016809

zbMATH Keywords

automated deductionfirst-order clausal logic

Mathematics Subject Classification ID

Recommendations

• Automated deduction techniques for the management of personalized documents. (Extended abstract)
• scientific article; zbMATH DE number 194631
• Mechanizing Mathematical Reasoning
• Publication:4941841
• Automated deduction for verification

Cited in

(3)

• Automated deduction techniques for the management of personalized documents. (Extended abstract)
• How to produce information about a given entity using automated deduction methods
• Mechanizing Mathematical Reasoning

Describes a project that uses

Uses Software

• SPASS

This page was built for publication: Automated deduction techniques for the management of personalized documents

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