Búsqueda avanzada
Buscar
 
 

Libros con etiqueta lógica

 
ELEMENTOS DE LA LOGICA FORMAL
Título del libro: ELEMENTOS DE LA LOGICA FORMAL
Autores: BADESA CORTES, CALIXTO ; JANE PALAU, IGNACIO ; JANSANA FERRER, RAMON

2ª NUEVA EDICIÓN. Elementos de lógica formal es un manual de introducción a la lógica, escrito especialmente para estudiantes de filosofía, pero también para aquellas personas con formación humanística interesadas en materias que requieran conocimientos lógicos.

Comentarios: 1 // Valoración: 7.0
 
 
INICIACION A LA LOGICA
Título del libro: INICIACION A LA LOGICA
Autor: DIEZTA, JOSE A.

Este libro está dirigido a aquellas personas que desean adquirir un conocimiento instrumental de la Lógica y no disponen de formación alguna en la materia.

Comentarios: 1 // Valoración: 8.0
 
 
THE ART OF PROLOG: ADVANCED PROGRAMMING TECHNIQUES (LOGIC PROGRAMMING)
Título del libro: THE ART OF PROLOG: ADVANCED PROGRAMMING TECHNIQUES (LOGIC PROGRAMMING)
Autor: Sterling, Leon

This second edition contains revised chapters taking into account recent research advances. More advanced exercises have been included, and

Comentarios: 1 // Valoración: 9.0
 
 
LÓGICA COMPUTACIONAL
Título del libro: LÓGICA COMPUTACIONAL
Autores: , Fernando Martín Rubio ; , Juan Luis Sánchez González ; , Enrique Paniagua Aris

El presente texto pretende servir de elemento base para la adquisición de los fundamentos, conceptos, componentes y enfoques del componente lógico de dichos sistemas.

Comentarios: 1 // Valoración: 9.0
 
 
ARTIFICIAL INTELLIGENCE: INTERNATIONAL VERSION: A MODERN APPROACH
Título del libro: ARTIFICIAL INTELLIGENCE: INTERNATIONAL VERSION: A MODERN APPROACH
Autor: Russell, Stuart

For one or two-semester, undergraduate or graduate-level courses in Artificial Intelligence. The long-anticipated revision of this best-selling text offers the most comprehensive, up-to-date introduction to the theory and practice of artificial intelligence.

Comentarios: 1 // Valoración: 9.0
 
 
LOGIC FOR COMPUTER SCIENCE: FOUNDATIONS OF AUTOMATIC THEOREM PROVING
Título del libro: LOGIC FOR COMPUTER SCIENCE: FOUNDATIONS OF AUTOMATIC THEOREM PROVING
Autor: Gallier, Jean

Comentarios: 1 // Valoración: 9.0
 
 
LOGICAL FOUNDATIONS OF ARTIFICIAL INTELLIGENCE
Título del libro: LOGICAL FOUNDATIONS OF ARTIFICIAL INTELLIGENCE
Autor: Genesereth, Michael

Comentarios: 1 // Valoración: 8.0
 
 
PROLOG PROGRAMMING FOR ARTIFICIAL INTELLIGENCE (INTERNATIONAL COMPUTER SCIENCE SERIES)
Título del libro: PROLOG PROGRAMMING FOR ARTIFICIAL INTELLIGENCE (INTERNATIONAL COMPUTER SCIENCE SERIES)
Autor: Bratko, Ivan

The third edition of this best-selling guide to Prolog and Artificial Intelligence has been updated to include key developments in the field while retaining its lucid approach to these topics. Divided into two parts, the first part of the book introduces the programming language Prolog, while the second part teaches Artificial Intelligence using...

Comentarios: 1 // Valoración: ND
 
 
PROGRAMMING WITH CONSTRAINTS: AN INTRODUCTION
Título del libro: PROGRAMMING WITH CONSTRAINTS: AN INTRODUCTION
Autor: Marriott, Kim

Comentarios: 1 // Valoración: 6.0
 
 
 
 
Para disfrutar más de nuestra web, por favor, regístrate.
 
 
Publicidad
 
 

BiblioEteca en Android y iPhone

Disfruta de tus libros desde tu smartphone.

BibloEteca en Google Play BibloEteca en App Store BibloEteca en Tienda Apps de Amazon para Android

Yo Leo

Descubre todo lo que puedes hacer

Anillo de blogs

¿Tienes un blog?

Paga si te gusta

La forma de pago del futuro...

BiblioEtecarios

Ayudanos con los libros

Yo Escribo

Si eres autor, descubre más...
C/ Parque Bujaruelo, 37, 1c
28924 Alcorcón (Madrid)
Tel/Fax : 91 288 73 76
E-mail : info@biblioeteca.com

BiblioEteca en Tuenti BiblioEteca en Google Plus BiblioEteca en Rss

 
Copyright © 2014 BiblioEteca Technologies SL - Todos los derechos reservados