Language:   Search:   Contact
Database
»ZMATH«
MSC 2000
MSC 2010
Reviewer
Service
Subscription
»ZMATH«
Serials Database | Search Print

Serials and Journals - Search

ISSN:
Anywhere:
Enter a query and click »Search»...
1 | first | previous | next | last Result: 1 - 1 of 1
1 → ZMATH Formaliz. Math.

Formalized Mathematics. De Gruyter (De Gruyter Open), Warsaw; University of Białystok, Białystok. English. [1 vol. (= 4 issues) a year]

Journal, ISSN 1426-2630; 1898-9934/e

http://www.degruyter.com/view/j/forma
http://fm.mizar.org/

Cover-to-cover reviewing in Zentralblatt MATH.

Library shelfmarks: GOE: ZA 87180/FMAG (1.1990 - 15.2007)

1 | first | previous | next | last Result: 1 - 1 of 1
News
Abel prize 2010
I. M. Gelfand 1913-2009
MSC2010


Copyright © 2025 Zentralblatt MATH | European Mathematical Society | FIZ Karlsruhe | Heidelberg Academy of Sciences
Published by Springer-Verlag | Webmaster