Refinar su búsqueda
Disponibilidad
-
Autores
- Brewka, Gerhard (1)
- Forster, Thomas E. (1)
- Gilboa, Itzhak (1)
- Griffor, Edward R. (1)
- Hindley, James Roger (1)
- Hoek, Wiebe van der (1)
- Huth, Michael (1)
- Lawvere, F. William (1)
- Lindström, Ingrid (1)
- Manzano, María (1)
- Ramsay, Allan (1)
- Ryan, Mark Dermot (1)
- Sangiorgi, Davide (1)
- Schanuel, Stephen Ho... (1)
- Schwichtenberg, Helm... (1)
- Simmons, Harold (1)
- Stoltenberg-Hansen, ... (1)
- Troelstra, Anne Sjer... (1)
- Vickers, Steven (1)
- Wolfram, D. A. (1)
- Mostrar más
- Mostrar menos
-
Tipos de ítem
- Libro (19)
-
Ubicaciones
- Sección Computación (19)
-
Series
-
Temas
- Formal languages (1)
- Artificial intellige... (1)
- Categories (1)
- Formal languages (8)
- Formal lenguages (1)
- Lenguajes de program... (2)
- Lenguajes formales (9)
- Lógica matemática (12)
- Lógica matemática-Co... (5)
- Lógica y significado... (2)
- Mathematical logic (11)
- Mathematical logic-C... (5)
- Mathematical logics (1)
- Modes of computation (1)
- Procesamiento electr... (1)
- Program constructs-t... (1)
- Programming language... (2)
- Mostrar más
- Mostrar menos