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
Detalles del Título

< Ant.
Sig. >
 
Título Lógica computacionalLibro / 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
010072113Biblioteca Fray Juan de Jesús Anaya Prada, O.F.M.Primer piso004.0151 P192LDisponible7 días
© OCLC (UK) Ltd- © Nova Informática Ltda