2503975-1  

Formalized mathematics : a computer assisted approach

Warsaw : Versita

1.1990 -

Online-Ressource

Erscheint auch als Druck-Ausgabe:  Formalized mathematics  (ISSN: 1426-2630) 

ISSN: 1898-9934

DOAJ-8e7494309a454956a45a2c308be80801

OCLC-Nr.: 1368811063

http://fm.mizar.org/  [Verlag] kostenfrei zugänglich

https://sciendo.com/journal/forma  [Verlag] kostenfrei zugänglich

https://ezb.ur.de/?2503975-1  [EZB] 

Open Access. Herkunft: DOAJ. Creative Commons :  CC BY-NC-ND 4.0. 

DDC-Sachgruppen der ZDB: 510 Mathematik 

Sondersammelgebiet: 17,1

Zeitschrift

Englisch 

Polen 

Online-Ausgabe

995182450

13-11-24

1438147-3  

Formalized mathematics : a computer assisted approach

Warsaw : Univ., Bialystok Branch

Brussels [1990-1993]

1.1990 -

Erscheint auch als Online-Ausgabe:  Journal of formalized mathematics 

Erscheint auch als Online-Ausgabe:  Formalized mathematics  (ISSN: 1898-9934) 

ISSN: 1426-2630

OCLC-Nr.: 1368079420

DDC-Sachgruppen der ZDB: 510 Mathematik 

Sondersammelgebiet: 17,1

Zeitschrift

Polen 

Druckausgabe

019321430

11-07-18