Accesso libero

Formalization of the MRDP Theorem in the Mizar System

Karol Pąk

Karol Pąk

Institute of Informatics, University of BiałystokPoland
Cerca questo autore su
Sciendo|Google Scholar
Pąk, Karol
  
20 lug 2019
Formalization of the MRDP Theorem in the Mizar System's Cover Image
INFORMAZIONI SU QUESTO ARTICOLO
Articolo precedente
Articolo Successivo
Cita
Scarica la copertina
Pubblicato online: 20 lug 2019
Pagine: 209 - 221
Accettato: 27 mag 2019
DOI: https://doi.org/10.2478/forma-2019-0020
Parole chiave
© 2019 Karol Pąk, published by Sciendo
This work is licensed under a Creative Commons Attribution Share-Alike 4.0 License.
Pąk, Karol
Institute of Informatics, University of BiałystokPoland
Lingua:
Inglese
Frequenza di pubblicazione:
1 volte all'anno
Argomenti della rivista:
Matematica, Matematica generale, Informatica, Informatica, altro
Feed RSS della rivista