Showing 1 - 1 results of 1 for search 'International Symposium DISCO '96 Karlsruhe, Germany', query time: 0.01s
Refine Results
-
1
Design and implementation of symbolic computation systems /
Published 1996“…International Symposium DISCO '96 Karlsruhe, Germany…”
Call Number: Loading…
Located: Loading…Conference Proceeding Book Loading…
Search Tools:
Related Subjects
Algebraic manipulation
Automatic programming
Deducción y prueba de teoremas
Deduction and theorem proving
Lenguajes de programación
Lenguajes de programación y software
Manipulación algebraica
Programación automática
Programación-Técnicas
Programming languages
Programming languages and software
Programming techniques
Software-Design
Software-Diseño
Software-Requeriments and specifications
Software-Requerimientos y especificaciones