Combining the Syntactic and Semantic Representations of Mizar Proofs
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Polish Information Processing Society
2018-09-01
|
| Series: | Annals of computer science and information systems |
| Online Access: | https://annals-csis.org/Volume_15/drp/pdf/248.pdf |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1849318063929819136 |
|---|---|
| author | Karol Pąk |
| author_facet | Karol Pąk |
| author_sort | Karol Pąk |
| collection | DOAJ |
| format | Article |
| id | doaj-art-dd5e4de332324baf801df05e5fe3cd1b |
| institution | Kabale University |
| issn | 2300-5963 |
| language | English |
| publishDate | 2018-09-01 |
| publisher | Polish Information Processing Society |
| record_format | Article |
| series | Annals of computer science and information systems |
| spelling | doaj-art-dd5e4de332324baf801df05e5fe3cd1b2025-08-20T03:51:02ZengPolish Information Processing SocietyAnnals of computer science and information systems2300-59632018-09-011514515310.15439/2018F248Combining the Syntactic and Semantic Representations of Mizar ProofsKarol Pąkhttps://annals-csis.org/Volume_15/drp/pdf/248.pdf |
| spellingShingle | Karol Pąk Combining the Syntactic and Semantic Representations of Mizar Proofs Annals of computer science and information systems |
| title | Combining the Syntactic and Semantic Representations of Mizar Proofs |
| title_full | Combining the Syntactic and Semantic Representations of Mizar Proofs |
| title_fullStr | Combining the Syntactic and Semantic Representations of Mizar Proofs |
| title_full_unstemmed | Combining the Syntactic and Semantic Representations of Mizar Proofs |
| title_short | Combining the Syntactic and Semantic Representations of Mizar Proofs |
| title_sort | combining the syntactic and semantic representations of mizar proofs |
| url | https://annals-csis.org/Volume_15/drp/pdf/248.pdf |
| work_keys_str_mv | AT karolpak combiningthesyntacticandsemanticrepresentationsofmizarproofs |