[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:

http://www.springer.com/computer/computer+journals?SGWID=0-40100-0-0-0

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.