Otwarty dostęp

Formalization of the MRDP Theorem in the Mizar System

Karol Pąk

Karol Pąk

Institute of Informatics, University of BiałystokPoland
Wyszukaj tego autora
Sciendo|Google Scholar
Pąk, Karol
  
20 lip 2019
Formalization of the MRDP Theorem in the Mizar System's Cover Image
O artykule
Poprzedni artykuł
Następny artykuł
Zacytuj
Pobierz okładkę
Data publikacji: 20 lip 2019
Zakres stron: 209 - 221
Przyjęty: 27 maj 2019
DOI: https://doi.org/10.2478/forma-2019-0020
Słowa kluczowe
© 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
Język:
Angielski
Częstotliwość wydawania:
1 razy w roku
Dziedziny czasopisma:
Matematyka, Matematyka ogólna, Informatyka, Informatyka, inne
Kanał RSS czasopisma