[isabelle] Fwd: 2010 Impact Factor for Journal of Automated Reasoning out now!



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.

Best regards
Tobias
(Editor-in-chief, JAR)

-------- 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
<http://www.springer.com?cm_mmc=DM-_-IFalert-_-editor-_-0>	
					
	
*Dear Prof.Dr. Nipkow,*
As the editor of *Journal of Automated Reasoning
<http://www.springer.com/alert/urltracking.do?id=L1ad4afM7df525X1869ee>*, we
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 *
<http://www.springer.com/alert/urltracking.do?id=L19d71aM7df525X1869ee>
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*.
*Best regards,*
Peter Hendriks <mailto:journalauthors at springer.com>
President STM Global Publishing & Marketing

			
Journal of Automated Reasoning
<http://www.springer.com/alert/urltracking.do?id=L1ad4b0M7df525X1869ee>
More about the journal
<http://www.springer.com/alert/urltracking.do?id=L1ad4afM7df525X1869ee>
Check Out What Your Peers Read!
<http://www.springer.com/alert/urltracking.do?id=L1ad4b1M7df525X1869ee>
See what is downloaded live and in real-time for Journal of Automated
Reasoning!
Browse Now!
<http://www.springer.com/alert/urltracking.do?id=L1ad4b1M7df525X1869ee>

	
	
separating line
If you do not wish to receive Springer promotional emails, please email
unsubscribe at springer.com <mailto:unsubscribe at springer.com> with the
subject "unsubscribe".
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!
<http://www.springer.com/springeralerts?cm_mmc=DM-_-IFalert-_-editor-_-0>
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
<http://www.springer.com/privacy?cm_mmc=DM-_-IFalert-_-editor-_-0>
Springer-Verlag GmbH, Tiergartenstrasse 17, 69121 Heidelberg, Germany,
phone: +49 6221 487 0, fax: +49 6221 487 8366
© Springer 2011, springer.com
<http://www.springer.com?cm_mmc=DM-_-IFalert-_-editor-_-0>







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