Formalized Mathematics

Date :

Editeur / Publisher : Białystok : University of Białystok

Type : Périodique / Serial

Langue / Language : anglais / English

Catalogue Worldcat

Relation : Formalized Mathematics / Białystok : University of Białystok , 1996-