Limitar la búsqueda a ejemplares disponibles
Guardar los marcados Guardar todos de la página Guardar en Mis Listas
MATERIAS ESPAÑOL (1-28 de 28)
Prolog (Lenguaje de programación)
1

Cubierta del libro
Ubicación Signatura Tipo de préstamo Estado Notas
 Ciencias.Matemáticas-Dpto. Matemáticas. Álgebra  M-ALGEBRA    CONSULTAR DEPT  DISPONIBLE
2

Cubierta del libro
MAT. IMPRESO
1997
   
Ubicación Signatura Tipo de préstamo Estado Notas
 B.Hypatia-Sala  ROBOT 30(1)    PRÉSTAMO LARGO  DISPONIBLE
3

Cubierta del libro
Artificial intelligence : structures and strategies for complex problem solving / George F. Luger, W
Luger, George F.
Redwood City, California [etc.] : The Benjamin/Cummings Publishing Company,

MAT. IMPRESO
1993
   
Ubicación Signatura Tipo de préstamo Estado Notas
 B.Hypatia-Depósito(Col.Inform.Sistemas)  IS-INAR 239    PRÉSTAMO LARGO  DISPONIBLE
 EINA.Informática/Sistemas  IS-INAR 186    CONSULTAR DEPT  DISPONIBLE
4

Cubierta del libro
Ubicación Signatura Tipo de préstamo Estado Notas
 B.Hypatia-Sala  ROBOT 30(3)    PRÉSTAMO LARGO  DISPONIBLE
5

Cubierta del libro
MAT. IMPRESO
1989
   
Ubicación Signatura Tipo de préstamo Estado Notas
 B.Ciencias.Matemáticas  B 10/LNCS 404    PRÉSTAMO LARGO  DISPONIBLE
 B.Hypatia-Depósito(Col.Inform.Sistemas)  IS-CARQ 172    PRÉSTAMO LARGO  DISPONIBLE
6

Cubierta del libro
Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proce
International Joint Conference on Artificial Intelligence (1993. Chambéry, France)
Berlin ; New York : Springer,

MAT. IMPRESO
1995
   
Ubicación Signatura Tipo de préstamo Estado Notas
 B.Ciencias.Matemáticas  B 10/LNAI 897    PRÉSTAMO LARGO  DISPONIBLE
7

Cubierta del libro
Expert system development in Prolog and Turbo-Prolog / Peter Smith
Smith, Peter, 1956-
Wilmslow (Cheshire, U.K.) : Sigma ; New York : Halsted Press,

MAT. IMPRESO
1988
   
Ubicación Signatura Tipo de préstamo Estado Notas
 B.Derecho-Informática y Derecho  DINF 1 Cc 14    PRÉSTAMO LARGO  DISPONIBLE
8

Cubierta del libro
Ubicación Signatura Tipo de préstamo Estado Notas
 B.Filosofía-Depósito  Z 37-896    PRÉSTAMO LARGO  DISPONIBLE
9

 
HORNLOG : a graph based interpreter for general Horn clauses / Jean H. Gallier
Gallier, Jean H.
Philadephia : Department of Computer and Information Science, Moore School, University of Pennsylvania,

MAT. IMPRESO
1986
   
Ubicación Signatura Tipo de préstamo Estado Notas
 B.Hypatia-Depósito(Col.Inform.Sistemas)  IS-TERE 81    PRÉSTAMO LARGO  DISPONIBLE
10

Cubierta del libro
Instructor's manual for artificial intelligence : structures and strategies for complex problem solv
Luger, George F.
Redwood City, California [etc.] : The Benjamin/Cummings Publishing Company,

MAT. IMPRESO
1993
   
Ubicación Signatura Tipo de préstamo Estado Notas
 B.Hypatia-Depósito(Col.Inform.Sistemas)  IS-INAR 240    PRÉSTAMO LARGO  DISPONIBLE
11

Cubierta del libro
MAT. IMPRESO
1987
   
Ubicación Signatura Tipo de préstamo Estado Notas
 Ciencias.Matemáticas-Métodos Estadísticos  ESTADISTICA    CONSULTAR DEPT  DISPONIBLE
12

Cubierta del libro
Ubicación Signatura Tipo de préstamo Estado Notas
 B.Hypatia-Depósito  DEPOSITO 1974(1)    PRÉSTAMO LARGO  DISPONIBLE
13

Cubierta del libro
Ubicación Signatura Tipo de préstamo Estado Notas
 Ciencias.Matemáticas-Dpto. Matemáticas. Álgebra  M-ALGEBRA    CONSULTAR DEPT  DISPONIBLE
 Veterinaria-Ciencias Agrarias y del Medio Natural  AEA/E 13/37    CONSULTAR DEPT  DISPONIBLE
14

Cubierta del libro
Micro-PROLOG : programing in logic / K.L. Clark and F.G. McCabe
Clark, Keith L.
New York : Prentice-Hall,

MAT. IMPRESO
1984
   
Ubicación Signatura Tipo de préstamo Estado Notas
 Ciencias.Matemáticas-Métodos Estadísticos  ESTADISTICA    CONSULTAR DEPT  DISPONIBLE
 EINA.Informática/Sistemas  IS-PRLE 16    CONSULTAR DEPT  DISPONIBLE
15

Cubierta del libro
Negation and control in PROLOG / Lee Naish
Naish, Lee
Berlin ; New York : Springer,

MAT. IMPRESO
1986
   
Ubicación Signatura Tipo de préstamo Estado Notas
 B.Ciencias.Matemáticas  B 10/LNCS 238    PRÉSTAMO LARGO  DISPONIBLE
16

Cubierta del libro
Ubicación Signatura Tipo de préstamo Estado Notas
 B.Hypatia-Sala  LENG PROG 6(1)    PRÉSTAMO LARGO  DISPONIBLE
17

Cubierta del libro
MAT. IMPRESO
2007
   
Ubicación Signatura Tipo de préstamo Estado Notas
 B.Hypatia-Sala  PROG 30(1)    PRÉSTAMO LARGO  DISPONIBLE
18

Cubierta del libro
Ubicación Signatura Tipo de préstamo Estado Notas
 B.Hypatia-Depósito(Col.Inform.Sistemas)  IS-PRMP 126    PRÉSTAMO LARGO  DISPONIBLE
19

Cubierta del libro
Programming in Prolog / W.F. Clocksin, C.S. Mellish
Clocksin, William F.
Berlin : Springer-Verlag,

MAT. IMPRESO
1984
   
Ubicación Signatura Tipo de préstamo Estado Notas
 EINA.Informática/Sistemas  IS-PRLE 54    CONSULTAR DEPT  DISPONIBLE
20

Cubierta del libro
Ubicación Signatura Tipo de préstamo Estado Notas
 EINA.Matemática Aplicada  MA(P)-I 36    CONSULTAR DEPT  DISPONIBLE
21

Cubierta del libro
A PROLOG Database system / Deyi Li
Li, Deyi
Letchworth[etc.] : Research studies[etc.],

MAT. IMPRESO
1985
   
Ubicación Signatura Tipo de préstamo Estado Notas
 B.Hypatia-Depósito(Col.Inform.Sistemas)  IS-BADA 11    PRÉSTAMO LARGO  DISPONIBLE
22

Cubierta del libro
Ubicación Signatura Tipo de préstamo Estado Notas
 Ciencias.Matemáticas-Dpto. Matemáticas. Álgebra  M-ALGEBRA    CONSULTAR DEPT  DISPONIBLE
23

Cubierta del libro
MAT. IMPRESO
1988
   
Ubicación Signatura Tipo de préstamo Estado Notas
 B.Hypatia-Depósito(Col.Inform.Sistemas)  IS-PRLE 78    PRÉSTAMO LARGO  DISPONIBLE
24

Cubierta del libro
Prolog multiprocessors / Michael J. Wise
Wise, Michael J.
London : Prentice-Hall International,

MAT. IMPRESO
1986
   
Ubicación Signatura Tipo de préstamo Estado Notas
 B.Hypatia-Depósito(Col.Inform.Sistemas)  IS-CARQ 195    PRÉSTAMO LARGO  DISPONIBLE
25

Cubierta del libro
Ubicación Signatura Tipo de préstamo Estado Notas
 B. Campus Teruel-Sala  LA 681 BER 44    PRÉSTAMO LARGO  DISPONIBLE
 EINA.Matemática Aplicada  MA(P)-I 37    CONSULTAR DEPT  DISPONIBLE
26

Cubierta del libro
Prolog : programming for artificial intelligence / Ivan Bratko
Bratko, Ivan
Harlow (England) : Addison-Wesley,

MAT. IMPRESO
2001
   
Ubicación Signatura Tipo de préstamo Estado Notas
 B.Hypatia-Depósito  DEPOSITO 10619(1)    PRÉSTAMO LARGO  DISPONIBLE
27

 
Prolog-SABRE : trois possibilités de couplage / Mokrane Bouzeghoub, Mireille Jouve
Bouzeghoub, Mokrane
Paris : Université Paris VI-Pierre et Marie Curie, Institut de programmation : CNRS,

MAT. IMPRESO
1985
   
Ubicación Signatura Tipo de préstamo Estado Notas
 B.Hypatia-Depósito(Col.Inform.Sistemas)  IS-TERE 50    PRÉSTAMO LARGO  DISPONIBLE
28

 
Refutation methods for HORN clauses with equality based on E-unification / Jean H. Gallier, Stan Raa
Gallier, Jean H.
Philadephia : Department of Computer and Information Science, Moore School, University of Pennsylvania,

MAT. IMPRESO
1986
   
Ubicación Signatura Tipo de préstamo Estado Notas
 B.Hypatia-Depósito(Col.Inform.Sistemas)  IS-TERE 99    PRÉSTAMO LARGO  DISPONIBLE
Guardar los marcados Guardar todos de la página
Localizar en resultados