Automated Reasoning
Home Pages:
The Association for Automated Reasoning (AAR)
Mechanized reasoning world-wide
Automated Reasoning at The University of Iowa
The Rewriting page at INRIA-Lorraine
The Automated Reasoning page at Argonne
The Artificial Intelligence Group in Koblenz
The Research Institute for Symbolic Computation in Linz
The TPTP library of theorem-proving problems
and its
on-line interface at Iowa
The International Federation for Computational Logic (IFCoLog)
The Constraint Archive
SIGART
Interest Group in Pure and Applied Logics
Kurt Goedel Society
FIZ Karlsruhe (Abt. Berlin)
Compulog Europe
and
Compulog Americas
Formal Methods Europe
IFIP
and
ERCIM
Mizar
and
ILF
Center for Discrete Mathematics and Theoretical Computer Science (DIMACS)
TCS Virtual Rolodex
and
TCS Genealogy
The Computing Research Repository (CoRR)
Netlib Repository at UTK/ORNL
Journals:
Journal of Symbolic Computation (JSC)
Journal of Automated Reasoning (JAR)
Annals of Mathematics and Artificial Intelligence
Information and Computation
New Generation Computing
Theoretical Computer Science
and
Electronic Notes in Theoretical Computer Science
Theory and Practice of Logic Programming (TPLP)
Journal of Logic and Algebraic Programming (formerly Journal of Logic Programming)
Journal of Information Science and Engineering
Transactions on Computational Logic (TOCL)
Journal of Logic and Computation
Information Processing Letters (IPL)
INFORMATICA, An International Journal of Computing and Informatics
LMS Journal of Computation and Mathematics
Journal of Intelligent Systems
Publishers:
Academic Press
Kluwer Academic
and
Baltzer Science
Elsevier Science
Morgan Kaufmann
Springer Heidelberg
,
Springer Wien
and
Springer New York
Servers of general interest:
Computing Research Association
National Science Foundation
and its
Division of Computer and Computation Research
Office of Naval Research
Community of Science Web Server
Hypatia
Association for Computing Machinery