- Algebraic manipulation
- Manipulación algebraica 10
- Discrete mathematics 7
- Matemática discreta 6
- Artificial intelligence 4
- Formal languages 4
- Inteligencia artificial 4
- Lenguajes de programación 4
- Lenguajes formales 4
- Lógica matemática 4
- Mathematical logic 4
- Programming languages 4
- Analysis of algorithms and problem complexity 3
- Automatic programming 3
- Coding and information theory 3
- Deducción y prueba de teoremas 3
- Deduction and theorem proving 3
- Programación automática 3
- Teoría de códigos y de la información 3
- Análisis de algoritmos y problemas de complejidad 2
- Análisis numérico 2
- Data encryption 2
- Encriptamiento de datos 2
- Ingeniería de software 2
- Logics and meanings of programs 2
- Lógica y significado de programas 2
- Mathematical software 2
- Numerical analysis 2
- Semantics of programming languages 2
- Semántica de lenguajes de programación 2
-
1
-
2
Automata, languages and programming : 36th international Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009 : proceedings /
Published 2009Conference Proceeding Book -
3
-
4
-
5
ZUM '95... the Z formal specification notation : Proceedings /
Published 1995Conference Proceeding Book -
6
-
7
Applied algebra, algebraic algorithms and eror-correcting codes : 12th international symposium, AAECC-12, Toulouse, France, June 23-27, 1997 : proceedings /
Published 1997Conference Proceeding Book -
8
-
9
-
10
Artificial intelligence and symbolic mathematical computation : international conference, AISMC-3, Steyr, Austria, September 23-25, 1996 : proceedings /
Published 1996Conference Proceeding Book -
11
Design and implementation of symbolic computation systems /
Published 1996Conference Proceeding Book -
12
-
13