DISCO 1990: Capri, Italy

Refine list

showing all ?? records

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