INFORMAZIONI SU QUESTO ARTICOLO
Pubblicato online: 19 dic 2017
Pagine: 227 - 240
Ricevuto: 03 set 2017
DOI: https://doi.org/10.1515/forma-2017-0022
Parole chiave
© 2017 Noboru Endou, published by De Gruyter Open
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.
In this article, we formalize in the Mizar system [