View in EDS

An example of formalizing recent mathematical results in Mizar

Saved in:
Bibliographic Details
Title: An example of formalizing recent mathematical results in Mizar
Authors: Naumowicz, Adam1, adamn@mizar.org
Source: Journal of Applied Logic; Dec2006, Vol. 4 Issue 4, p396-413, 18p
Database: Applied Science & Technology Source
Be the first to leave a comment!
You must be logged in first