In this paper a brief account of the area of automated reasoning (or, rather, of some of its subareas) is given. Some historical remarks are given along with overview of some of the most significant results and current challenges. The pa- per has a somewhat personal perspective, reflecting research interests of the author.
Mendeley saves you time finding and organizing research
There are no full text links
Choose a citation style from the tabs below