Computer science logic / edited by Dirk Dalen, Marc Bezem.
Series Lecture notes in computer science ; v. 1258 | LNCS ; v. 1258Detalles de publicación: Berlin : Springer, 1997.Descripción: viii, 470 p. : il. ; 24 cmISBN:- 3540631720
- Teoría de códigos y de la información
- Coding and information theory
- Lógica y significado de programas
- Logics and meanings of programs
- Lógica matemática
- Lenguajes formales
- Mathematical logic
- Inteligencia artificial
- Formal languages
- Artificial intelligence
- Deduction and theorem proving
- Deducción y prueba de teoremas
- Representación del conocimiento, métodos, formas y scripts
- Knowledge representation formalisms and methods frames
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. 1258 | Disponible | 14737 |
Total de reservas: 0
Este trabajo es la 5a. de las conferencias anuales de la European Association for Computer Science Logic, EACSL.