dr Adam Naumowicz

Redaktorstwo

1. 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.
2. M. Kohlhase, A. Naumowicz et al. Ed(s).
   Workshop and Work in Progress Papers, Joint Proceedings of FM4M, MathUI, ThEdu, Doctoral Program, WIP at CICM, Jul 25-29, 2016, Białystok, Poland, Jul 25-29, 2016, Faculty of Mathematics and Informatics, University of Białystok (conf. org.), CEUR Workshop Proceedings vol. 1785, (publ. by) RWTH Aachen University, 2017.
3. A. Grabowski, A. Naumowicz Ed(s).
   Computer Reconstruction of the Body of Mathematics, Studies in Logic, Grammar and Rhetoric vol. 18(31), (publ. by) Uniwersytet w Białymstoku, 2009.