OMEGA, ein mathematisches Assistenzsystem
(B 1)
Subject Area
Theoretical Computer Science
Term
from 1996 to 2001
Project identifier
Deutsche Forschungsgemeinschaft (DFG) - Project number 5479288
No abstract available
DFG Programme
Collaborative Research Centres