Hrg. F. Kossak, Koji Nakagawa, A. Armando, Tudor Jebelean,
"User System Interaction Within Theorema"
, in Elsevier, in Electronic Notes in Theoretical Computer Science, Vol. 23, Nummer 3, 12-1999, ISSN: 1571-0661, F. Kossak and K. Nakagawa; in: A. Armando and T. Jebelean, editors, Electronic Notes in Theoretical Computer Science, vol. 23. Elsevier, 1999, Calculemus 99 Workshop, Trento, Italy.
Original Titel:
User System Interaction Within Theorema
Sprache des Titels:
Englisch
Journal:
Electronic Notes in Theoretical Computer Science
Volume:
23
Number:
3
Erscheinungsmonat:
12
Erscheinungsjahr:
1999
Notiz zum Zitat:
F. Kossak and K. Nakagawa; in: A. Armando and T. Jebelean, editors, Electronic Notes in Theoretical Computer Science, vol. 23. Elsevier, 1999, Calculemus 99 Workshop, Trento, Italy.
ISSN:
1571-0661
Anzahl der Seiten:
14
Reichweite:
international
Publikationstyp:
Aufsatz / Paper in nicht-referierter Fachzeitschrift