User - System interaction within Theorema - Extended abstract

F. Kossak; Koji Nakagawa; A. Armando; Tudor Jebelean

doi:10.1016/S1571-0661(05)80611-5

User - System interaction within Theorema - Extended abstract

F. Kossak (Editor)
, Koji Nakagawa
, A. Armando
, Tudor Jebelean

Research Institute for Symbolic Computation

Research output: Contribution to journal › Conference article › peer-review

Original language	English
Pages (from-to)	387-400
Number of pages	14
Journal	Electronic Notes in Theoretical Computer Science
Volume	23
Issue number	3
DOIs	https://doi.org/10.1016/S1571-0661(05)80611-5
Publication status	Published - Dec 1999

Fields of science

101 Mathematics

JKU Focus areas

Computation in Informatics and Mathematics

Access to Document

10.1016/S1571-0661(05)80611-5

Cite this

@article{da2c962c9ceb40d5abbbc49d01c288a3,

title = "User - System interaction within Theorema - Extended abstract",

author = "F. Kossak and Koji Nakagawa and A. Armando and Tudor Jebelean",

year = "1999",

month = dec,

doi = "10.1016/S1571-0661(05)80611-5",

language = "English",

volume = "23",

pages = "387--400",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "ELSEVIER SCIENCE BV",

number = "3",

}

TY - JOUR

T1 - User - System interaction within Theorema - Extended abstract

AU - Nakagawa, Koji

AU - Armando, A.

AU - Jebelean, Tudor

A2 - Kossak, F.

PY - 1999/12

Y1 - 1999/12

UR - https://www.scopus.com/pages/publications/19144371047

U2 - 10.1016/S1571-0661(05)80611-5

DO - 10.1016/S1571-0661(05)80611-5

M3 - Conference article

SN - 1571-0661

VL - 23

SP - 387

EP - 400

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

IS - 3

ER -

User - System interaction within Theorema - Extended abstract

Fields of science

JKU Focus areas

Access to Document

Other files and links

Cite this