Showing 1 - 3 results of 3 for search 'Calmet, Jacques, 1941-', query time: 0.01s
Refine Results
-
1
Design and implementation of symbolic computation systems /
Published 1996Other Authors: “…Calmet, Jacques, 1941-…”
Call Number: Loading…
Located: Loading…Conference Proceeding Book Loading… -
2
Integrating symbolic mathematical computation and artificial intelligence : second international conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994 : selected papers...
Published 1995Other Authors: “…Calmet, Jacques, 1941-…”
Call Number: Loading…
Located: Loading…Conference Proceeding Book Loading… -
3
Artificial intelligence and symbolic mathematical computation : international conference, AISMC-3, Steyr, Austria, September 23-25, 1996 : proceedings /
Published 1996Other Authors: “…Calmet, Jacques, 1941-…”
Call Number: Loading…
Located: Loading…Conference Proceeding Book Loading…
Search Tools:
Related Subjects
Algebraic manipulation
Manipulación algebraica
Artificial intelligence
Discrete mathematics
Inteligencia artificial
Matemática discreta
Análisis numérico
Automatic programming
Deducción y prueba de teoremas
Deduction and theorem proving
Lenguajes de programación
Lenguajes de programación y software
Lógica matemática-Computación
Mathematical logic-Computation
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