dr Adam Naumowicz

Publikacje

  1. A. Naumowicz
    Elementary Number Theory Problems. Part XI
    Form. Math. 31 (2023), no. 1, 229-275.
    DOI: 10.2478/forma-2023-0021
  2. A. Naumowicz
    Extending Numeric Automation for Number Theory Formalizations in Mizar
    Intelligent Computer Mathematics, 16th International Conference, CICM 2023, Cambridge, UK, September 5-8, 2023 Proceedings, (C. Dubois, M. Kerber Ed(s).), (publ. by) Springer, 2023, pp. 309-314.
    DOI: 10.1007/978-3-031-42753-4_23
Uwagi do prezentowanych tutaj danych bibliograficznych proszę kierować do: libmaster@math.uwb.edu.pl .