dr Karol P±k

Publikacje

  1. K. P±k, C. Kaliszyk
    Conway Normal Form: Bridging Approaches for Comprehensive Formalization of Surreal Numbers
    15th International Conference on Interactive Theorem Proving, (Y. Bertot , T. Kutsia, M. Norrish Ed(s).), LIPIcs vol. 309, (publ. by) Schloss Dagstuhl Leibniz-Zentrum fuer Informatik, 2024, pp. 1-18.
    DOI: 10.4230/LIPIcs.ITP.2024.29
Uwagi do prezentowanych tutaj danych bibliograficznych proszę kierować do: libmaster@math.uwb.edu.pl .