Publications

The following journals publish articles in automated reasoning.

ACM Transactions of Computational Logic (TOCL)
http://www.acm.org/tocl/

Discrete Applied Mathematics
http://www.elsev ier.nl/locate/dam

Electronic Notes in Discrete Mathematics
http://www.elsevier.nl/gej-ng/31/29/24/show/Products/notes/index.htt

Information and Computation: an international journal
http://theory.lcs.mit.edu/~iandc/

Journal of Applied Logic (JAL)
http://www.elsevier.com/locate/jal

Journal of Artificial Intelligence
http://www.sciencedirect.com/science/journal/00043702

Journal of Artificial Intelligence Research (JAIR)
http://www.jair.org/

Journal of Automated Reasoning (JAR)
http://www-unix.mcs.anl.gov/JAR/index.html

Journal of Formalized Mathematics (JFM)
http://www.mizar.org/JFM/

Journal of Symbolic Computation (JSC)
http://www.elsevier.com/locate/issn/0747-7171

Journal of the ACM (JACM)
http://theory.lcs.mit.edu/~jacm/

ORA Canada have a comprehensive bibliography of articles in automated
deduction. The bibliography cites over 3,000 reports and papers related
to automated deduction. The bibliography focuses on the years 1970 to 1995,
but it also includes nearly 250 references to early classic work in the field.
http://www.ora.on.ca/biblio/biblio-prover-welcome.html

  Sponsored by: