A Short Survey of Automated Reasoning

DOI10.1007/978-3-540-73433-8_24MaRDI QIDQ5429376zbMATH OpenOpenAlexFDO

Authors

Publication date 29 November 2007

Published in Algebraic Biology (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73433-8_24

Mathematics Subject Classification ID

General topics in artificial intelligence (68T01)

Recommendations

• A survey of automated deduction
• scientific article; zbMATH DE number 1252517
• scientific article; zbMATH DE number 1568006
• scientific article; zbMATH DE number 1782448
• An overview of automated reasoning and related fields

Cited in

(6)

• Automated inferencing
• A sequent calculus for automated reasoning in symbolic computation systems
• scientific article; zbMATH DE number 53302 (Why is no real title available?)
• Automated reasoning in social choice theory: some remarks
• A survey of automated deduction
• An introduction to mechanized reasoning

This page was built for publication: A Short Survey of Automated Reasoning

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