dr Adam Naumowicz

Konferencje

  1. A. Naumowicz²
    14th International Conference on Interactive Theorem Proving, Białystok, Poland, Jul 31 - Aug 4, 2023
    University of Bialystok, Poland (org.)
  2. A. Naumowicz
    Extending Numeric Automation for Number Theory Formalizations in Mizar
    16th International Conference on Intelligent Computer Mathematics, Cambridge, UK, Sep 4-8, 2023
    University of Bath, UK (org.)
  • * Presentation
  • ¹ A chairman of a session
  • ² A member of the Organizing Committee
  • ³ Student
Uwagi do prezentowanych tutaj danych proszę kierować do: webmaster@math.uwb.edu.pl