Refinar su búsqueda
Disponibilidad
-
Autores
- Lee, Insup (1)
- Leivant, Daniel (1)
- Smolka, Scott A. (1)
-
Tipos de ítem
- Libro (2)
-
Ubicaciones
-
Series
- Lecture notes in com... (2)
- LNCS (2)
-
Temas
- Complejidad computac... (1)
- Computation theory (2)
- Computational comple... (1)
- Concurrent programmi... (1)
- Estructuras de progr... (1)
- Lenguajes de program... (1)
- Logicsand meanings o... (1)
- Lógica matemática y ... (1)
- Lógica y significado... (1)
- Mathematical logic a... (1)
- Programming language... (1)
- Teoría de la computa... (2)
- Mostrar más
- Mostrar menos