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
Be the first to leave a comment!
You must be logged in first