Formalized Mathematics > 2017 > 25 > 3 > 227-240
Source
Abstract
Identifiers
journal ISSN : | 1898-9934 , 1426-2630 |
DOI | 10.1515/forma-2017-0022 |
Formalized Mathematics > 2017 > 25 > 3 > 227-240
journal ISSN : | 1898-9934 , 1426-2630 |
DOI | 10.1515/forma-2017-0022 |