Refinar su búsqueda
Disponibilidad
- Mostrar ítems actualmente disponibles
- Mostrar todos los ítems:
-
Autores
- Bjorner, Dines (1)
- Bowen, Jonathan Pete... (1)
- Broy, Manfred (1)
- Calmet, Jacques (3)
- Campbell, John A. (2)
- Cohen, Henri (1)
- Comon, Hubert (1)
- Cuny, Janice (1)
- Ehrig, Hartmut (1)
- Engels, Gregor (1)
- Ganzinger, Harald (1)
- Gianni, Patrizia (1)
- Hinchey, Michael G. (1)
- Limongelli, Carla (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 (11)
-
Ubicaciones
-
Series
- Lecture notes in com... (11)
- LNCS (10)
-
Temas
- Algebraic manipulati... (9)
- Artificial intellige... (4)
- Automatic programmin... (2)
- Coding and informati... (2)
- Deducción y prueba d... (3)
- Deduction and theore... (3)
- Discrete mathematics (5)
- Formal languages (5)
- Ingeniería de softwa... (2)
- Inteligencia artific... (3)
- Lenguajes de program... (4)
- Lenguajes formales (5)
- Lógica matemática (4)
- Manipulación algebra... (9)
- Matemática discreta (5)
- Mathematical logic (3)
- Programación automát... (2)
- Programming language... (4)
- Software engineering (2)
- Teoría de códigos y ... (2)
- Mostrar más
- Mostrar menos