iLink

Biblioteca

Universidad Autónoma de Madrid
Biblioteca

Información de biblioteca

Web de Biblioteca y Archivo
Qué ofrecemos
Recursos de información
Quid? Consulte al bibliotecario
Más información

Catálogo Servicios al usuario Bibliografía recomendada Recursos electrónicos Revistas electrónicas Solicitudes y sugerencias

Regresar

Nueva búsqueda

N/A

N/A

Desconexión

13 ítems encontrados.

#1	C/007/STE	1987
	The art of Prolog advanced programming techniques Sterling, Leon 5 ejemplares disponibles en la biblioteca de Ciencias, Matemáticas, y Politécnica

#2	INF/681.3.062-P/STE	1997
	The art of Prolog advanced programming techniques 2nd ed. Sterling, Leon 3 ejemplares disponibles en la biblioteca de Politécnica

#3	INF/C1230/RUS	1995
	Artificial intelligence a modern approach Russell, Stuart J. 4 ejemplares disponibles en la biblioteca de Politécnica

#4	INF/681.31.8/RUS	2003
	Artificial intelligence a modern approach 2nd. ed. Russell, Stuart J. 15 ejemplares disponibles en la biblioteca de Politécnica

#5	FL/QA 9 .B33	2007
	Elementos de lógica formal 2ª ed. act. Badesa, Calixto 9 ejemplares disponibles en la biblioteca de Filosofía y Politécnica

#6	FL/BC 108 .D5 2002	2002
	Iniciación a la lógica Díez, José A. 3 ejemplares disponibles en la biblioteca de Filosofía y Politécnica

#7	FL/Sótano/64471	1987
	Logic for computer science foundations of automatic theorem proving Gallier, Jean H. 1 ejemplar disponible en la biblioteca de Filosofía en localización de Sotano

#8	INF/510.6/PAN	2003
	Lógica computacional Paniagua Arís, Enrique 5 ejemplares disponibles en la biblioteca de Politécnica

#9	FL/QA 9 .C84 1983	1985
	Lógica informática Cuena Bartolomé, José 1 ejemplar disponible en la biblioteca de Filosofía en localización de Libre acceso

#10	INF/681.31.8/GEN	1988
	Logical foundations of artificial intelligence 1a ed., reimp. con correciones Genesereth, Michael R. 4 ejemplares disponibles en la biblioteca de Politécnica

#11	INF/681.3/MAR	1998
	Programming with constraints an introduction Marriott, Kim 1 ejemplar disponible en la biblioteca de Politécnica en localización de Planta Primera

#12	INF/681.3.062-P/BRA	1988
	Prolog programming for artificial intelligence Bratko, Ivan, 1914- 1 ejemplar disponible en la biblioteca de Politécnica en localización de Planta Primera

#13	INF/681.3.062-P/BRA	2001
	Prolog programming for artificial intelligence 3th ed Bratko, Ivan, 1914- 4 ejemplares disponibles en la biblioteca de Politécnica

Regresar

Nueva búsqueda

N/A

N/A

Desconexión