Omega: Computer supported mathematics (2004)

by J Siekmann, C Benzmüller
Venue:KI 2004: Advances in Artificial Intelligence: 27th Annual German Conference on AI, number 3228 in LNAI