Información del autor
Autor Fernando Martín Rubio |
Documentos disponibles escritos por este autor (1)
Hacer una sugerencia Refinar búsqueda
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 Lógica Computacional [texto impreso] / 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 . - 1a ed. . - Madrid [España] : Thomson Editores, 2003 . - xiv, 200 p. : gráfs.; tbls. ; 24 cm.
ISBN : 978-84-9732-182-2
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
Lógica Computacional
Paniagua Arís, EnriqueSánchez Gonzáles, Juan Luis ; Sánchez Gonzáles, Juan Luis ; Sánchez Gonzáles, Juan Luis ; Martín Rubio, Fernando ; Martín Rubio, Fernando ; Martín Rubio, Fernando - - Madrid (España) : Thomson Editores - 2003
Incluye referencias bibliográficas
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
Reserva
Reservar este documento
Ejemplares (1)
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
