[isabelle] Journal of Automated Reasoning

One of Springer's highest impact journals is the Journal of Automated Reasoning, with an impact factor of 1.926. It is ranked number eight out of Springer's 146 journal titles! More information is available here:


I hope that all of you who have done high quality work will submit it to JAR.

Larry Paulson

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.