View in EDS

Four Decades of Mizar.

Saved in:
Bibliographic Details
Title: Four Decades of Mizar.
Authors: Grabowski, Adam1, adam@mizar.org, Korniłowicz, Artur1, arturk@mizar.org, Naumowicz, Adam1, adamn@mizar.org
Source: Journal of Automated Reasoning; Oct2015, Vol. 55 Issue 3, p191-198, 8p
Database: Applied Science & Technology Source
Description
ISSN:01687433
DOI:10.1007/s10817-015-9345-1