[Date Prev][Date Next] [Chronological] [Thread] [Top]

[mizar] "Formalized Mathematics"

To: mizar-forum@mizar.uwb.edu.pl
Subject: [mizar] "Formalized Mathematics"
From: Roman Matuszewski <romat@mizar.org>
Date: Tue, 24 Jun 2008 22:59:37 +0200 (CEST)

Dear All,

I would like to inform you that from May 2008
our journal "Formalized Mathematics" is published at the
MetaPress platform:
http://versita.metapress.com/content/121073/
Every article has a DOI number and all articles will soon
be indexed by most Abstracting Services.

Additionaly, please observe that 5 articles published
in "Formalized Mathematics" are in the first 20 most
cited computer science articles in the CiteSeerX:
http://citeseerx.ist.psu.edu/stats/articles;jsessionid=D28942507FE29084C3D690F0B650872A

Best regards,

Roman Matuszewski, Editor

-------
dr Roman Matuszewski, University of Bialystok, Poland
http://mizar.org/people/romat/

Prev by Date: Re: [mizar] unused loci again
Next by Date: [mizar] Computer Reconstruction of the Body of Mathematics
Index(es):
- Chronological
- Thread