Date : 1990-
Editeur / Publisher : Białystok : University of Białystok
Type : Périodique / Serial
Langue / Language : anglais / English
Relation : Formalized Mathematics / Białystok : University of Białystok , 1996-
Accès en ligne / online access
Accès en ligne / online access