[isabelle] Fwd: 2010 Impact Factor for Journal of Automated Reasoning out now!
- To: Isabelle Users <isabelle-users at cl.cam.ac.uk>
- Subject: [isabelle] Fwd: 2010 Impact Factor for Journal of Automated Reasoning out now!
- From: Tobias Nipkow <nipkow at in.tum.de>
- Date: Tue, 05 Jul 2011 08:11:04 +0200
- User-agent: Mozilla/5.0 (Macintosh; U; Intel Mac OS X 10.6; de; rv:184.108.40.206) Gecko/20110616 Thunderbird/3.1.11
This is an advertisement. I would like to remind you that Journal of
Automated Reasoning always welcomes high quality submissions on
interactive and automated theorem proving. The impact factors below (for
what they are worth) show that JAR is a leading computer science journal
and still growing in popularity.
-------- Original-Nachricht --------
Betreff: 2010 Impact Factor for Journal of Automated Reasoning out now!
Datum: Mon, 4 Jul 2011 12:26:46 +0200 (CEST)
Von: Springer <SpringerAlerts at springeronline.com>
Antwort an: burkhard.freitag at springer.com <burkhard.freitag at springer.com>
An: nipkow at in.tum.de <nipkow at in.tum.de>
2010 Impact Factor
/2010 Impact Factor out now!/ Visit us at springer.com
*Dear Prof.Dr. Nipkow,*
As the editor of *Journal of Automated Reasoning
are sure you are interested to hear that the Journal Citation Reports®
2010 have just been released by Thomson Reuters. The 2010 Impact Factor
is *2.260*. For the last 3 years *Journal of Automated Reasoning* has
seen the following development:
*Year* *Impact Factor* *Citations*
2010 2.260 575
2009 1.926 522
2008 1.691 470
As you most likely know, the Impact Factor is just one measure used for
evaluating a journal; for more information on the impact factor in
general please *click here *
We would like to take this opportunity to thank you for your work and
dedication to the journal. Please feel free to share this information
with the editorial board members of *Journal of Automated Reasoning*.
Peter Hendriks <mailto:journalauthors at springer.com>
President STM Global Publishing & Marketing
Journal of Automated Reasoning
More about the journal
Check Out What Your Peers Read!
See what is downloaded live and in real-time for Journal of Automated
If you do not wish to receive Springer promotional emails, please email
unsubscribe at springer.com <mailto:unsubscribe at springer.com> with the
SpringerAlerts delivers directly to you, via email, all the information
you'll ever want to keep you abreast of the latest developments in your
discipline. If you haven't done so already, sign-up now!
Springer respects your privacy and does not disclose, sell or rent your
personal information to any nonaffiliated third parties without your
consent. Please visit our Springer Privacy Statement
Springer-Verlag GmbH, Tiergartenstrasse 17, 69121 Heidelberg, Germany,
phone: +49 6221 487 0, fax: +49 6221 487 8366
© Springer 2011, springer.com
This archive was generated by a fusion of
Pipermail (Mailman edition) and