Catálogo en línea Biblioteca Central SIGB-UNAP

Lógica Computacional / Enrique Paniagua Arís / Madrid [España] : Thomson Editores (2003)

Título :	Lógica Computacional
Tipo de documento:	texto impreso
Autores:	Enrique Paniagua Arís, Autor ; Juan Luis Sánchez Gonzáles, Autor ; Juan Luis Sánchez Gonzáles, Autor ; Juan Luis Sánchez Gonzáles, Autor ; Fernando Martín Rubio, Autor ; Fernando Martín Rubio, Autor ; Fernando Martín Rubio, Autor
Mención de edición:	1a ed.
Editorial:	Madrid [España] : Thomson Editores
Fecha de publicación:	2003
Número de páginas:	xiv, 200 p.
Il.:	gráfs.; tbls.
Dimensiones:	24 cm.
ISBN/ISSN/DL:	978-84-9732-182-2
Nota general:	Incluye referencias bibliográficas
Idioma :	Español (spa)
Clasificación:	624.183402 Hormigón. Manuales
Nota de contenido:	La sintaxis de la lógica -- La semántica de la lógica -- El método axiomático -- El método interpretativo -- La demostración automática de teoremas -- Los agentes inteligentes y la lógica
Link:	https://biblioteca.unap.edu.pe/opac_css/index.php?lvl=notice_display&id=87206

Código de barras	Signatura	Tipo de medio	Ubicación	Sección	Estado
23-0560-01	511.3 P23	Libros	Bib. Esp. Ing Sistemas	Estanteria (Libros)	Disponible

Lógica Computacional