Drukujdr Karol P±k
Publikacje
-
C. Kaliszyk, K. P±k
Combining Higher-order Logic with Set Theory Formalizations
J. Automat. Reason. 67 (2023), no. 2, 1-23, (Article number: 20 (2023) ).
DOI: 10.1007/s10817-023-09663-5
Uwagi do prezentowanych tutaj danych bibliograficznych proszę kierować do:
libmaster@math.uwb.edu.pl
.