Skip to main content
Top
Metadata
Title
Semantics of Mizar as an Isabelle Object Logic
Authors
Cezary Kaliszyk
Karol Pąk
Publication date
28-08-2018
Publisher
Springer Netherlands
Published in
Journal of Automated Reasoning / Issue 3/2019
Print ISSN: 0168-7433
Electronic ISSN: 1573-0670
DOI
https://doi.org/10.1007/s10817-018-9479-z

Other articles of this Issue 3/2019

Journal of Automated Reasoning 3/2019 Go to the issue

Premium Partner