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