Acceso abierto

Formalization of the MRDP Theorem in the Mizar System

Karol Pąk

Karol Pąk

Institute of Informatics, University of BiałystokPoland
Buscar este autor en
Sciendo|Google Scholar
Pąk, Karol
  
20 jul 2019
Formalization of the MRDP Theorem in the Mizar System's Cover Image
Acerca de este artículo
Artículo anterior
Artículo siguiente
Cite
Descargar portada
Publicado en línea: 20 jul 2019
Páginas: 209 - 221
Aceptado: 27 may 2019
DOI: https://doi.org/10.2478/forma-2019-0020
Palabras clave
© 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
Idioma:
Inglés
Calendario de la edición:
1 veces al año
Temas de la revista:
Matemáticas, Matemáticas generales, Informática, Informática, otros
RSS Feed de revista