Formalized Mathematics
Formalized Mathematics is a academic journal.
It is located in Poland. The academic journal is owned by University of Białystok. Formalized Mathematics is mainly about mathematics. Its publisher is De Gruyter Open.
Formalized Mathematics is a academic journal.
It is located in Poland. The academic journal is owned by University of Białystok. Formalized Mathematics is mainly about mathematics. Its publisher is De Gruyter Open.