Usted se encuentra revisando un registro bibliográfico de la BDU Para conocer mas sobre la Base de Datos Unificada haga click en el ícono del home

Titulos:
The art of prolog: advanced programming techniques / Leon Sterling; Ehud Shapiro
Idiomas:
eng
ISBN:
9780262193382
Lugar de Edición:
Cambridge:
Editor:
MIT Press,
Fecha de Edición:
1999
Edición #:
2nd ed.
Notas Formateada:
I: Logic programs - 1: Basic constructs - 2: Database programming - 3: Recursive programming - 4: The computation model of logic programs - 5: Theory of logic programs -- II: The prolog language - 6: Pure prolog - 7: Progamming in pure prolog - 8: Arithmetic - 9: Structure inspection - 10: Meta-logical predicates - 11: Cuts and negation - 12: Extra-logical predicates - 13: Program development -- III: Advanced prolog programming techniques - 14: Nondeterministic programming - 15: Incomplete data structures - 16: Second-order programming - 17. Interpreters - 18: Program transformation - 19: Logic grammars - 20: Search techniques -- IV: Applications - 21: Game-playing programs - 22: A credit evaluation expert system - 23: An equation solver - 24: A compiler
Palabras clave:

Leader:
cam
Campo 003:
AR-BaIT
Campo 008:
270401s1999t |||||||||||||||||eng
Campo 020:
^a9780262193382
Campo 040:
^aITBA^cITBA
Campo 041:
0 ^aeng
Campo 100:
1 ^aSterling, Leon^915144
Campo 245:
14^aThe art of prolog:^badvanced programming techniques /^cLeon Sterling; Ehud Shapiro
Campo 246:
Campo 250:
^a2nd ed.
Campo 260:
^aCambridge:^bMIT Press,^c1999
Campo 300:
^axviii, 509 p.
Campo 505:
0 ^aI: Logic programs - 1: Basic constructs - 2: Database programming - 3: Recursive programming - 4: The computation model of logic programs - 5: Theory of logic programs -- II: The prolog language - 6: Pure prolog - 7: Progamming in pure prolog - 8: Arithmetic - 9: Structure inspection - 10: Meta-logical predicates - 11: Cuts and negation - 12: Extra-logical predicates - 13: Program development -- III: Advanced prolog programming techniques - 14: Nondeterministic programming - 15: Incomplete data structures - 16: Second-order programming - 17. Interpreters - 18: Program transformation - 19: Logic grammars - 20: Search techniques -- IV: Applications - 21: Game-playing programs - 22: A credit evaluation expert system - 23: An equation solver - 24: A compiler
Campo 700:
1 ^aShapiro, Ehud^914527
Proveniencia:
^aInstituto Tecnológico Buenos Aires (ITBA) - Biblioteca
Seleccionar y guardar el registro Haga click en el botón del carrito
Institucion:
Instituto Tecnológico Buenos Aires (ITBA)
Dependencia:
Biblioteca

Compartir este registro en Redes Sociales

Seleccionar y guardar el registro Haga click en el botón del carrito