![](/img/cover-not-exists.png)
ATP and Presentation Service for Mizar Formalizations
Josef Urban, Piotr Rudnicki, Geoff SutcliffeVolume:
50
Language:
english
DOI:
10.1007/s10817-012-9269-y
Date:
February, 2013
File:
PDF, 349 KB
english, 2013