DK-Report 2015-06, A. Maletzky
Exploring Reduction Ring Theory in Theorema
dkreport15_06.pdf
—
PDF document,
911 KB (933740 bytes)