Suggested Topics within your search.
Suggested Topics within your search.
- Algebraic manipulation 4
- Lenguajes de programación 4
- Manipulación algebraica
- Programming languages 4
- Automatic programming 3
- Deducción y prueba de teoremas 3
- Deduction and theorem proving 3
- Programación automática 3
- Formal languages 2
- Lenguajes formales 2
- Lógica matemática 2
- Mathematical logic 2
- Semantics of programming languages 2
- Semántica de lenguajes de programación 2
- Aplicaciones de la computadora 1
- Artificial intelligence 1
- Coding and information theory 1
- Computer applications 1
- Discrete mathematics 1
- Inteligencia artificial 1
- Lenguajes de programación y software 1
- Matemática discreta 1
- Mathematical software 1
- Programación-Técnicas 1
- Programming languages and software 1
- Programming techniques 1
- Software para matemática 1
- Software-Design 1
- Software-Diseño 1
- Software-Requeriments and specifications 1
-
1
Design and implementation of symbolic computation systems /
Published 1996Subjects:Conference Proceeding Book -
2
-
3
Rewriting techniques and applications /
Published 1996Subjects: “…Lenguajes de programación.…”
Conference Proceeding Book -
4