<Omega>: ovely <Omega>MEGA ser nterface.
Formal Aspects Comput. Bd. 11. H. 3. London: Springer 1999 S. 326 - 342
Erscheinungsjahr: 1999
ISBN/ISSN: 0934-5043
Publikationstyp: Zeitschriftenaufsatz
Sprache: Englisch
Doi/URN: 10.1007/s001650050053
| Geprüft: | Bibliothek |
Autoren
H. Siekmann, Jörg (Autor)
M. Hess, Stephan (Autor)
Benzmüller, Christoph (Autor)
Cheikhrouhou, Lassaad (Autor)
Horacek, Helmut (Autor)
Kohlhase, Michael (Autor)
Konrad, Karsten (Autor)
Meier, Andreas (Autor)
Melis, Erica (Autor)
Pollet, Martin (Autor)
Sorge, Volker (Autor)
Klassifikation
DFG Fachgebiet:
4.43 - Informatik
DDC Sachgruppe:
Mathematik
