Combining the Syntactic and Semantic Representations of Mizar Proofs.

Karol Pak

Browse the full FedCSIS paper archive.