Refinar su búsqueda
Disponibilidad
-
Autores
-
Tipos de ítem
-
Ubicaciones
- Vitrina (2)
-
Temas
- Automatic programmin... (1)
- Concurrent programmi... (1)
- Deducción y prueba d... (2)
- Deduction and theore... (1)
- Deduction and Theore... (1)
- Knowledge representa... (1)
- Language constructs ... (1)
- Lógica matemática (1)
- Mathematical Logic (1)
- Performance (1)
- Problem solving, Con... (1)
- Program verification (1)
- Programación concurr... (1)
- Mostrar más
- Mostrar menos