Amanote Research
Register
Sign In
Combining the Syntactic and Semantic Representations of Mizar Proofs
doi 10.15439/2018f248
Full Text
Open PDF
Abstract
Available in
full text
Date
September 26, 2018
Authors
Karol Pąk
Publisher
IEEE