Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Roman Matuszewski"'
Autor:
Grzegorz Bancerek, Czesław Byliński, Artur Korniłowicz, Roman Matuszewski, Adam Naumowicz, Adam Grabowski, Karol Pąk
Publikováno v:
Journal of Automated Reasoning
The Mizar system is one of the pioneering systems aimed at supporting mathematical proof development on a computer that have laid the groundwork for and eventually have evolved into modern interactive proof assistants. We claim that an important mile
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::966fc698f4f694d59c6a26ccc377834a
http://europepmc.org/articles/PMC6044251
http://europepmc.org/articles/PMC6044251
Autor:
Roman Matuszewski
Publikováno v:
International Studies in the Philosophy of Science. 1:124-141
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::67e0b3631594dabe7cdbb9ec932faf4d
https://doi.org/10.1080/02698598608573285
https://doi.org/10.1080/02698598608573285