Commutative Algebra in the Mizar System
Journal of Symbolic Computation - United States
doi 10.1006/jsco.2001.0456
Full Text
Open PDFAbstract
Available in full text
Date
July 1, 2001
Authors
Publisher
Elsevier BV
Available in full text
July 1, 2001
Elsevier BV