INFORMAZIONI SU QUESTO ARTICOLO
Pubblicato online: 09 giu 2008
Pagine: 171 - 174
DOI: https://doi.org/10.2478/v10037-007-0020-9
Parole chiave
This content is open access.
A formalization of the first proof from [6].
A formalization of the first proof from [6].