Skip to main content
Conference Proceedings

A short survey of automated reasoning

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2007) 4545 LNCS 334-349
DOI: 10.1007/978-3-540-73433-8_24
7Citations
Citations of this article
16Readers
Mendeley users who have this article in their library.
Get full text

Abstract

This paper surveys the field 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 finish with a discussion of the main applications so far. © Springer-Verlag Berlin Heidelberg 2007.

Cite

CITATION STYLE

APA

Harrison, J. (2007). A short survey of automated reasoning. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4545 LNCS, pp. 334–349). Springer Verlag. https://doi.org/10.1007/978-3-540-73433-8_24

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free