Refinar su búsqueda
Disponibilidad
-
Autores
- Bjorner, Dines (1)
- Bowen, Jonathan Pete... (1)
- Calmet, Jacques (3)
- Campbell, John A. (2)
- Cohen, Henri (1)
- Ehrig, Hartmut (1)
- Engels, Gregor (1)
- Ganzinger, Harald (1)
- Gianni, Patrizia (1)
- Limongelli, Carla (1)
- Marchetti-Spaccamela... (1)
- Matias, Yossi (1)
- Mattson, Harold F, (1)
- Mora, Teo (1)
- Nikoletseas, Sotiris (1)
- Ong, Luke (1)
- Pfalzgraf, Jochen (1)
- Pottosin, Igor V. (1)
- Queiroz, Ruy de (1)
- Rozenberg, Grzegorz (1)
- Mostrar más
- Mostrar menos
-
Tipos de ítem
- Libro (14)
-
Ubicaciones
-
Series
- Lecture notes in com... (14)
- LNCS (12)
-
Temas
- Algebraic manipulati... (12)
- Analysis of algorith... (3)
- Análisis de algoritm... (2)
- Artificial intellige... (4)
- Automatic programmin... (2)
- Coding and informati... (3)
- Deducción y prueba d... (3)
- Deduction and theore... (3)
- Discrete mathematics (7)
- Encriptamiento de da... (2)
- Formal languages (5)
- Inteligencia artific... (3)
- Lenguajes de program... (4)
- Lenguajes formales (5)
- Lógica matemática (4)
- Manipulación algebra... (9)
- Matemática discreta (6)
- Mathematical logic (3)
- Programming language... (4)
- Teoría de códigos y ... (3)
- Mostrar más
- Mostrar menos