The Ring of Conway Numbers in Mizar
Karol Pąk
Faculty of Computer Science, University of BiałystokPoland
Profilo OrcidCerca questo autore su
31 dic 2023
INFORMAZIONI SU QUESTO ARTICOLO
Pubblicato online: 31 dic 2023
Pagine: 215 - 228
Accettato: 12 dic 2023
DOI: https://doi.org/10.2478/forma-2023-0020
Parole chiave
© 2023 Karol Pąk, published by Sciendo
This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 Public License.
Pąk, Karol
Faculty of Computer Science, University of BiałystokPoland