Computer science logic / edited by Hans Kleine Büning.
Series Lecture notes in computer science ; v. 1092 | LNCS ; v. 1092Detalles de publicación: Berlin : Springer, 1996.Descripción: viii, 485 p. : il. ; 24 cmISBN:- 3540613773
- Lógica matemática
- Lenguajes formales
- Mathematical logic
- Formal languages
- Deducción y prueba de teoremas
- Deduction and theorem proving
- Representación del conocimiento, métodos, formas y scripts
- Knowledge representation formalisms and methods frames and scripts
- Logics and meanings of programs
- Lógica y significado de programas
Tipo de ítem | Biblioteca actual | Signatura | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
---|---|---|---|---|---|---|
Libro | FaMAF Sección Lecture Notes | C LNCS v. 1092 | Disponible | 15538 |
Total de reservas: 0