Formalized Mathematics

Date :

Editeur / Publisher : Białystok : University of Białystok , 1996-

Type : Périodique / Serial

Langue / Language : anglais / English

Catalogue Worldcat

Mathématiques

Relation : Formalized Mathematics / Białystok : University of Białystok