Combining the Syntactic and Semantic Representations of Mizar Proofs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Karol Pak. Combining the Syntactic and Semantic Representations of Mizar Proofs. In Maria Ganzha, Leszek A. Maciaszek, Marcin Paprzycki, editors, Proceedings of the 2018 Federated Conference on Computer Science and Information Systems, FedCSIS 2018, Poznań, Poland, September 9-12, 2018. pages 145-153, 2018. [doi]

This author has not been identified. Look up 'Karol Pak' in Google

runs on WebDSL