DMCA

ΩMEGA: Towards a Mathematical Assistant (1997)

by Christoph Benzmüller , Lassaad Cheikhrouhou , Armin Fiedler , Xiaorong Huang , Manfred Kerber , Karsten Konrad , Andreas Meier , Erica Melis , Volker Sorge, et al.
Citations:69 - 30 self