Normal view MARC view ISBD view

Lógica computacional /

by Paniagua Arís, Enrique.
Published by : Thomson, (Madrid : ) Physical details: xiv, 205 p. : il. ; 25 cm. ISBN:8497321820. Year: 2003
Item type Current location Call number Status Date due
Libros y Folletos Libros y Folletos Biblioteca Central
510.6 P193 Ej.1 (Browse shelf) Available
Libros y Folletos Libros y Folletos Biblioteca Central
510.6 P193 Ej.2 (Browse shelf) Available
Libros y Folletos Libros y Folletos Biblioteca Sede Chamical
167 (Browse shelf) Available

Indice: p. 201-205.

Bibliografía: p. 199-200.

Capítulo 1. La sintaxis de la lógica. Capítulo 2. La semántica de la lógica. Capítulo 3. El método axiomático. Capítulo 4. El método interpretativo. Capítulo 5. La demostración automática de teoremas. Capítulo 6. Los agentes inteligentes y la lógica.

There are no comments for this item.

Log in to your account to post a comment.
Sistema de Bibliotecas UNLaR
Correos Electrónicos: bibliotecas@unlar.edu.ar
Telefónos: 0380-4457055 - 0380-4457055 int. 7312.
logo