Formalized mathematics: a computer assisted approach
[Bialystok, Poland]: University of Białystok ; Warsaw, Poland: De Gruyter Open (<2013->;), 2006; 2008; 1996-
Online
Zeitschrift, Elektronische Ressource
Ermittle Ausleihstatus...
Titel: |
Formalized mathematics: a computer assisted approach
|
---|---|
Körperschaft: | Uniwersytet w Białymstoku, |
Lokaler Link: | |
Veröffentlichung: | [Bialystok, Poland]: University of Białystok ; Warsaw, Poland: De Gruyter Open (<2013->;), 2006; 2008; 1996- |
Medientyp: | Zeitschrift |
Datenträgertyp: | Elektronische Ressource |
ISSN: | 1898-9934 |
Schlagwort: |
|
Sonstiges: |
|