By the same authors

From the same journal

Using and parsing the Mizar language

Research output: Contribution to journalArticle

Author(s)

Department/unit(s)

Publication details

JournalElectronic Notes in Theoretical Computer Science
DatePublished - 2004
Volume93
Number of pages10
Pages (from-to)60-69
Original languageUndefined/Unknown

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations