Design and implementation of symbolic computation systems. International symposium DISCO '90, Capri, Italy, April 10-12, 1990. Proceedings (Q1188645)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Design and implementation of symbolic computation systems. International symposium DISCO '90, Capri, Italy, April 10-12, 1990. Proceedings |
scientific article |
Statements
Design and implementation of symbolic computation systems. International symposium DISCO '90, Capri, Italy, April 10-12, 1990. Proceedings (English)
0 references
23 January 1993
0 references
Capri (Italy)
0 references
DISCO '90
0 references
Design
0 references
Implementation
0 references
Symbolic computation systems
0 references
Conference
0 references
Proceedings
0 references
automated reasoning
0 references
user interfaces
0 references
algebra systems design
0 references
Scratchpad
0 references
object-oriented language
0 references
LOGLAN
0 references
computer algebra languages
0 references