A formal framework for managing mathematics (0)

by William M Farmer
Venue:RISC, A-4232 Schloss Hagenberg