Publié le : 2014-01-01
EUDML-ID :
urn:eudml:doc:268772
@article{bwmeta1.element.doi-10_2478_forma-2014-0020,
author = {Adam Grabowski and Yasunari Shidama},
title = {Preface},
journal = {Formalized Mathematics},
volume = {22},
year = {2014},
pages = {i-iv},
language = {en},
url = {http://dml.mathdoc.fr/item/bwmeta1.element.doi-10_2478_forma-2014-0020}
}
Adam Grabowski; Yasunari Shidama. Preface. Formalized Mathematics, Tome 22 (2014) . http://gdmltest.u-ga.fr/item/bwmeta1.element.doi-10_2478_forma-2014-0020/