Refinar su búsqueda
Disponibilidad
-
Autores
- Alferes, José Júlio (1)
- Barthe, Gilles (1)
- Bjorner, Dines (1)
- Dalen, Dirk (1)
- Heering, Jan (2)
- Hoare, Charles Anton... (1)
- Kröger, Fred (1)
- Löffler, Markus (1)
- Maibaum, Thomas S. E... (2)
- Meinke, Karl (2)
- Möller, Bernhard (2)
- Nerode, Anil (2)
- Nivat, Maurice (2)
- Paulson, Lawrence C. (1)
- Pierce, Benjamin C. (1)
- Rodríguez-Artalejo, ... (1)
- Rozenberg, Grzegorz (1)
- Salomaa, Arto (2)
- Smullyan, Raymond M. (2)
- Staudek, Jan (1)
- Mostrar más
- Mostrar menos
-
Tipos de ítem
- Libro (85)
- Trabajo Especial de Grado (3)
-
Ubicaciones
-
Series
- Cambridge tracts in ... (7)
- EATCS monographs on ... (4)
- EATCS series (2)
- ESPRIT basic researc... (1)
- Foundations of compu... (2)
- Graduate texts in co... (2)
- Lecture notes in com... (28)
- LNCS (26)
- London Mathematical ... (1)
- Oxford logic guides (4)
- Prentice-Hall series... (1)
- Progress in computer... (1)
- Synthese library (1)
- Texts in theoretical... (2)
- Theory and applicati... (1)
- Trends in logic (1)
- Mostrar más
- Mostrar menos
-
Temas
- Analysis of algorith... (8)
- Análisis de algoritm... (7)
- Computación mediante... (6)
- Computation by abstr... (9)
- Deducción y prueba d... (11)
- Deduction and theore... (11)
- Discrete mathematics (6)
- Formal languages (80)
- Ingeniería de softwa... (7)
- Lenguajes de program... (11)
- Lenguajes formales (74)
- Logic programming (5)
- Logics and meanings ... (25)
- Lógica matemática (64)
- Lógica y significado... (26)
- Mathematical logic (73)
- Mathematical logic-C... (5)
- Programming language... (13)
- Software engineering (13)
- Mostrar más
- Mostrar menos