Zobrazeno 1 - 10
of 155
pro vyhledávání: '"Grabowski, Adam"'
Autor:
Grabowski, Adam
Publikováno v:
Edukacja Elementarna w Teorii i Praktyce / Elementary Education in Theory and Practice. 16(2 (60)):135-147
Externí odkaz:
https://www.ceeol.com/search/article-detail?id=973385
Autor:
Grabowski, Adam1 (AUTHOR)
Publikováno v:
Formalized Mathematics. Oct2022, Vol. 30 Issue 3, p235-244. 10p.
Publikováno v:
Lecture Notes in Computer Science, 2010, Volume 6167, Intelligent Computer Mathematics, Pages 300-314
Building a repository of proof-checked mathematical knowledge is without any doubt a lot of work, and besides the actual formalization process there also is the task of maintaining the repository. Thus it seems obvious to keep a repsoitory as small a
Externí odkaz:
http://arxiv.org/abs/1005.0950
Autor:
Kuśmierowski, Wojciech1 (AUTHOR), Grabowski, Adam1 (AUTHOR)
Publikováno v:
Formalized Mathematics. Dec2021, Vol. 29 Issue 4, p153-159. 7p.
Autor:
Sawicki, Damian1 (AUTHOR), Grabowski, Adam1 (AUTHOR)
Publikováno v:
Formalized Mathematics. Jul2021, Vol. 29 Issue 2, p77-85. 9p.
Autor:
Grabowski, Adam1 (AUTHOR) adam@math.uwb.edu.pl, Schlingloff, H. (AUTHOR) adam@math.uwb.edu.pl, Penczek, W. (AUTHOR)
Publikováno v:
Fundamenta Informaticae. 2021, Vol. 179 Issue 2, p165-182. 18p.
Autor:
Kulesza, Dominik1 (AUTHOR), Grabowski, Adam1 (AUTHOR)
Publikováno v:
Formalized Mathematics. Jul2020, Vol. 28 Issue 2, p217-225. 9p.
Autor:
Grabowski, Adam1 (AUTHOR)
Publikováno v:
Formalized Mathematics. Apr2020, Vol. 28 Issue 1, p121-128. 8p.
Autor:
Grabowski, Adam1 (AUTHOR)
Publikováno v:
Formalized Mathematics. Apr2020, Vol. 28 Issue 1, p105-113. 9p.