Design and implementation of symbolic computation systems. International symposium DISCO '90, Capri, Italy, April 10-12, 1990. Proceedings
zbMath0757.68013MaRDI QIDQ1188645
No author found.
Publication date: 23 January 1993
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
ConferenceProceedingsautomated reasoningCapri (Italy)ImplementationDesignobject-oriented languageuser interfacesScratchpadLOGLANalgebra systems designcomputer algebra languagesDISCO '90Symbolic computation systems
Symbolic computation and algebraic computation (68W30) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Theory of programming languages (68N15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Grammars and rewriting systems (68Q42) Logic programming (68N17)
Uses Software