Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

8

AB
2007
Springer

favoriteEmaildiscussreport

111views Computational Biology» more AB 2007»

A Short Survey of Automated Reasoning

13 years 11 months ago

A Short Survey of Automated Reasoning

Download www.cl.cam.ac.uk

Abstract. This paper surveys the ﬁeld of automated reasoning, giving some historical background and outlining a few of the main current research themes. We particularly emphasize the points of contact and the contrasts with computer algebra. We ﬁnish with a discussion of the main applications so far.

John Harrison

Real-time Traffic

AB 2007 | Automated Reasoning | Historical Background | Main Current Research |

claim paper

Related Content

» Translation of Resolution Proofs into Short FirstOrder Proofs without Choice Axioms

» A Survey of Automated Techniques for Formal Software Verification

» Automated Learning of Probabilistic Assumptions for Compositional Reasoning

» The Search of Causal Orderings A Short Cut for Learning Belief Networks

» The Computability Path Ordering The End of a Quest

» A Survey of Concurrent METATEM the Language and its Applications

» Temporal Description Logics A Survey

» A Computational Approach to Pocklington Certificates in Type Theory

» Automated Reasoning Past Story and New Trends

Post Info
More Details (n/a)

Added	06 Jun 2010
Updated	06 Jun 2010
Type	Conference
Year	2007
Where	AB
Authors	John Harrison

Comments (0)