Lògica computacional
Tipo de material:
TextoDetalles de publicación: España : ThomsonDescripción: 205pISBN: - 8497321820
- 510.63 P154l
Contenidos:
La sintaxis de la logica, La samantica de la logica, El metodo axiomatico, El metodo interpretativo, La demostracion automatica de teoremas, Los agentes inteligentes y la logica
| Tipo de ítem | Biblioteca actual | Colección | Signatura topográfica | Info Vol | Copia número | Estado | Código de barras | |
|---|---|---|---|---|---|---|---|---|
LIbro
|
Biblioteca Pública Germán Arciniegas - Villavicencio | Sala Especializada Tercer Piso | 510.63 P154l (Navegar estantería(Abre debajo)) | Volumen. 1 | 15/nov/2009 | Ej. 1 | Withdrawn 4 | 22951 |
La sintaxis de la logica, La samantica de la logica, El metodo axiomatico, El metodo interpretativo, La demostracion automatica de teoremas, Los agentes inteligentes y la logica
No hay comentarios en este titulo.
Iniciar sesión para colocar un comentario.