Sciweavers

AB
2007
Springer
15 years 3 months ago
A Short Survey of Automated Reasoning
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...
John Harrison