Automated Reasoning: Some Successes and New Challenges
Predrag Janičić
Faculty of Mathematics
University of Belgrade
Studentski trg 16, 11000 Belgrade, Serbia
Abstract
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 paper has a somewhat personal perspective, reflecting research interests of the author.
This work is licensed under a Creative Commons Attribution 3.0 License.
Copyright (©) 2007 - 2015. Faculty of Organization and Informatics. All Rights Reserved.