Refinar su búsqueda
Disponibilidad
-
Autores
- Nipkow, Tobias (1)
- Paulson, Lawrence C. (3)
- Wenzel, Markus (1)
-
Tipos de ítem
- Libro (3)
-
Ubicaciones
-
Series
-
Temas
- Applicative programm... (1)
- Automatic theorem pr... (1)
- Computer Logic (1)
- Deducton and theorem... (1)
- Formal definitions a... (1)
- Formal languages (1)
- Lenguajes de program... (1)
- Lenguajes formales (1)
- Lógica matemática (1)
- Mathematical logic (2)
- Programación aplicat... (1)
- Programming language... (1)
- Specifying and verif... (1)
- Mostrar más
- Mostrar menos