dr Adam Naumowicz
Redaktorstwo
-
A. Naumowicz, R. Thiemann Ed(s).
14th International Conference on Interactive Theorem Proving (ITP 2023), Jul 31 - Aug 4, 2023, University of Bialystok, Poland (conf. org.), vol. 268, (publ. by) Schloss Dagstuhl Leibniz-Zentrum fuer Informatik, 2023.
Uwagi do prezentowanych tutaj danych proszę kierować do:
webmaster@math.uwb.edu.pl
.