×

Found 9 Documents (Results 1–9)

Enhancement of Mizar texts with transitivity property of predicates. (English) Zbl 1344.68206

Kohlhase, Michael (ed.) et al., Intelligent computer mathematics. 9th international conference, CICM 2016, Bialystok, Poland, July 25–29, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-42546-7/pbk; 978-3-319-42547-4/ebook). Lecture Notes in Computer Science 9791. Lecture Notes in Artificial Intelligence, 157-162 (2016).
MSC:  68T15 68T30
PDFBibTeX XMLCite
Full Text: DOI

Accessing the Mizar library with a weakly strict Mizar parser. (English) Zbl 1344.68211

Kohlhase, Michael (ed.) et al., Intelligent computer mathematics. 9th international conference, CICM 2016, Bialystok, Poland, July 25–29, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-42546-7/pbk; 978-3-319-42547-4/ebook). Lecture Notes in Computer Science 9791. Lecture Notes in Artificial Intelligence, 77-82 (2016).
MSC:  68T15 68T30
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software