Buscar
Título y Autor
Palabra Clave
Autor
Palabra Clave por Autor
Tema o Materia
ISBN/ISSN
Series
Revistas
Avanzada
Enlaces
Bases de Datos
Metabuscador RUAV
Tutorial Reserva
Mi Cuenta
Detalles de Usuario
Bibliografías
Cerrar Sesión
Detalles del Título
Búsqueda Rápida Palabra Clave
Ayuda
Detalles del Título
< Ant.
Sig. >
Título
Lógica computacional
Libro / Impreso - Libros
Autor(es)
Paniagua Arís, Enrique (Autor)
Sánchez González, Juan Luis (Autor)
Martín Rubio, Fernando (Autor)
Publicación
Madrid, España : International Thomson Editores. ITP, 2003
Descripción Física
205 p.
Español;
ISBN
8497321820
Clasificación(es)
004.0151
Materia(s)
Logica de computadores
;
Lógica matemática
;
Lógica simbólica y matemática
;
Nota(s)
CONTENDIDO: 1. La sintaxis de la Lógica - 2. La semántica de la Lógica - 3. El método axiomático - 4. El método interpretativo - 5. La demostración automática de teoremas - 6. Los Agentes Inteligentes y la Lógica. Bibliografía - Índice analítico
Ver en WorldCat
Catálogo Mundial - WorldCat
Ver en Google Books
Google Books
Disponibilidad
CodBarras
Localización
Estante
Signatura
Estado
Categoría
010072113
Biblioteca Fray Juan de Jesús Anaya Prada, O.F.M.
Primer piso
004.0151 P192L
Disponible
7 días
© OCLC (UK) Ltd- © Nova Informática Ltda