Suggested Topics within your search.
Suggested Topics within your search.
- Algebraic manipulation 3
- Manipulación algebraica 3
- Artificial intelligence 2
- Discrete mathematics 2
- Inteligencia artificial 2
- Matemática discreta 2
- Análisis numérico 1
- Automatic programming 1
- Deducción y prueba de teoremas 1
- Deduction and theorem proving 1
- Lenguajes de programación 1
- Lenguajes de programación y software 1
- Lógica matemática-Computación 1
- Mathematical logic-Computation 1
- Programación automática 1
- Programación-Técnicas 1
- Programming languages 1
- Programming languages and software 1
- Programming techniques 1
- Software-Design 1
- Software-Diseño 1
- Software-Requeriments and specifications 1
- Software-Requerimientos y especificaciones 1
-
1
Integrating symbolic mathematical computation and artificial intelligence : second international conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994 : selected papers...
Published 1995“…Lecture notes in computer science ;…”
Conference Proceeding Book -
2
Artificial intelligence and symbolic mathematical computation : international conference, AISMC-3, Steyr, Austria, September 23-25, 1996 : proceedings /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book -
3
Design and implementation of symbolic computation systems /
Published 1996“…Lecture notes in computer science ;…”
Conference Proceeding Book