mgr Adrian Jaszczak

Konferencje

  1. A. Jaszczak
    Formal verification of the correctness of chosen algorithms in Mizar
    12th International Conference on Intelligent Computer Mathematics, Prague, Czech Republic, Jul 8-12, 2019
    Czech Institute of Informatics, Robotics, and Cybernetics of Czech Technical University in Prague (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