DISCO 1990: Capri, Italy

Symbolic and Algebraic Computation - Systems Design

Symbolic and Algebraic Computation - Implementation Methods and Techniques

Theory

Automated Reasoning

Software Environments and Languages

Software Environments and User Interfaces

Short Papers

a service of Schloss Dagstuhl - Leibniz Center for Informatics