|
Machine-driven abstract thought is an region of Computing dedicated
to creating computer software which allows to perform reasoning on computers entirely or even about completely automatically. A virtually all developed subarea of machine-driven reasoning
is, probably, automated theorem proving.
Conferences and workshops
[http://ijcar06.uni-koblenz.de/ International Joint Conference on Automated Reasoning (IJCAR)]
[http://deepthought.ttu.ee/it/cade/index.html Conference on Automated Deduction (CADE)]
[http://www.eprover.org/EVENTS/iwil-2004.html International Workshop on Implementation of Logics]
[http://www.cs.miami.edu/~geoff/Conferences/ESCoR/ Workshop on Empirically Successful Computerized Reasoning]
Journals
[http://www-unix.mcs.anl.gov/JAR/ Journal of Automated Reasoning]
Communities
|
