Showing 1 - 2 results of 2 for search 'Karol Pąk', query time: 0.01s Refine Results
  1. 1
    Mizar Set Comprehension in Isabelle Framework

    Mizar Set Comprehension in Isabelle Framework by Karol Pąk

    Published 2018-09-01
    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    Combining the Syntactic and Semantic Representations of Mizar Proofs

    Combining the Syntactic and Semantic Representations of Mizar Proofs by Karol Pąk

    Published 2018-09-01
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: