First Page | Document Content | |
---|---|---|
Date: 2010-03-05 21:10:35 | STUDIES IN LOGIC, GRAMMAR AND RHETORICEvaluating Prospective Built-in Elements of Computer Algebra in Mizar⋆ Adam Naumowicz Institute of Computer ScienceAdd to Reading ListSource URL: mizar.orgDownload Document from Source WebsiteFile Size: 125,40 KBShare Document on Facebook |