Refinar su búsqueda
Disponibilidad
-
Autores
- Downey, Rodney G. (1)
- Findler, Robert Bruc... (1)
- Fitting, Melvin (1)
- He, Jifeng (1)
- Hoare, Charles Anton... (1)
- Kfoury, Assaf (1)
- Kozen, Dexter C. (1)
- Kroening, Daniel (1)
- Kröger, Fred (1)
- Kuich, Werner (1)
- Longo, Giuseppe (1)
- Mahr, Bernd (1)
- Maibaum, Thomas S. E... (1)
- Paulson, Lawrence C. (1)
- Pierce, Benjamin C. (1)
- Rozenberg, Grzegorz (1)
- Salomaa, Arto (2)
- Shankar, N. (1)
- Smullyan, Raymond M. (2)
- Troelstra, Anne Sjer... (1)
- Mostrar más
- Mostrar menos
-
Tipos de ítem
- Libro (50)
-
Ubicaciones
- Sección Computación (50)
-
Series
- Cambridge tracts in ... (6)
- Discrete mathematics... (1)
- EATCS monographs on ... (4)
- EATCS series (2)
- ESPRIT basic researc... (1)
- Foundations of compu... (2)
- Graduate texts in co... (2)
- London Mathematical ... (1)
- Monographs in comput... (1)
- Monographs in theore... (1)
- Oxford logic guides (4)
- Prentice-Hall intern... (1)
- Prentice-Hall series... (1)
- Progress in computer... (1)
- Synthese library (1)
- Texts in theoretical... (2)
- Theory and applicati... (1)
- Trends in logic (1)
- Undergraduate texts ... (1)
- Mostrar más
- Mostrar menos
-
Temas
- Análisis de algoritm... (1)
- Computation by abstr... (2)
- Discrete mathematics (4)
- Estructura de datos (1)
- Formal languages (49)
- Lenguajes formales (47)
- Logic and meanings o... (2)
- Logics and meanings ... (3)
- Lógica matemática (44)
- Lógica y significado... (5)
- Matemática discreta (3)
- Mathematical logic (46)
- Mathematical logic-C... (2)
- Modes of computation (1)
- Probability (1)
- Proceso de la admini... (1)
- Mostrar más
- Mostrar menos