Engineering Mathematical Knowledge (2005)

by Achim Mahnke, Jan Scheffczyk
Venue:Mathematical Knowledge Management, number 3863 in LNAI