TY  - BOOK
AU  - Calmet,Jacques
AU  - Limongelli,Carla
ED  - International Symposium on Design and Implementation of Symbolic Computation Systems
TI  - Design and implementation of symbolic computation systems: International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996 : proceedings 
SN  - 3540616977
SN  - 03029743
AV  - QA76.9 D26 I58 1996
PY  - 1996///
CY  - Berlin
PB  - Springer
KW  - System design
KW  - Congresses
KW  - Automatic theorem proving
KW  - Mathematics
KW  - Data processing
ER  -