<Omega>MEGA: Ein mathematisches Assistenzsystem

Jörg H. Siekmann, Michael Kohlhase, Erica Melis. <Omega>MEGA: Ein mathematisches Assistenzsystem. Kognitionswissenschaft, 7(3):101-105, 1998. [doi]

Abstract

Abstract is missing.