Search
Search
Advanced search
Change font size
Contrast versions
Language pl
godlo_uwb.svg

Poprzednia strona

Rekrutacja 2022/23

Publications

Combining the Syntactic and Semantic Representations of Mizar Proofs

19.11.2018

Combining the Syntactic and Semantic Representations of Mizar Proofs

K. Pąk

() 145-153

DOI: 10.15439/2018F248

Print
Back
©2022 Wszystkie prawa zastrzeżone.