|
000
|
00000cas a2200000ua 4500 |
|
001
|
23662 |
|
003
|
|aIN-AhILN |
|
005
|
|a20121218 000000.0 |
|
007
|
|
|at| |
|
008
|
|
|a750320c1uuu9999dcuwn p 0 a0eng |
|
016
|
|
|2IN-AhILN|aUMS23662|zINFL39762 |
|
022
|
|
|a1426-2630 |
|
041
|
|
|aeng |
|
222
|
|
|aJournal of Formalized Mathematics |
|
245
|
10 |
|aJournal of Formalized Mathematics |
|
260
|
|
|bJournal of Formalized Mathematics |
|
310
|
|
|aA |
|
500
|
|
|aIP based Access provided to 100 universities. |
|
506
|
|
|aArchive access available under consortium from Vol.14 No. - Vol.16 No. |
|
856
|
4_ |
|uhttp://mizar.uwb.edu.pl/JFM/|zIP based access available from year 2002 to 2004 |
