Parallel logic programming techniques
Taylor, Stephen
Parallel logic programming techniques - Englewood Cliffs : [S.n.], c1989 - xvi, 205 p. : il. ; 25 cm.
Incluye bibliografía. --
Programming parallel computers -- Flat Concurrent Prolog -- Implementation techniques -- Compilation techniques -- Performance studies -- Optimization techniques -- Programming techniques -- Complexity issues -- App. A. Correctness proof -- App. B. Instuction set summary -- App. C. Semantics.
013648767X
DIF-M914
PROGRAMACIÓN LÓGICA
PROCESAMIENTO PARALELO
Parallel logic programming techniques - Englewood Cliffs : [S.n.], c1989 - xvi, 205 p. : il. ; 25 cm.
Incluye bibliografía. --
Programming parallel computers -- Flat Concurrent Prolog -- Implementation techniques -- Compilation techniques -- Performance studies -- Optimization techniques -- Programming techniques -- Complexity issues -- App. A. Correctness proof -- App. B. Instuction set summary -- App. C. Semantics.
013648767X
DIF-M914
PROGRAMACIÓN LÓGICA
PROCESAMIENTO PARALELO