TY  - BOOK
AU  - Taylor,Stephen
TI  - Parallel logic programming techniques
SN  - 013648767X
PY  - 1989///
CY  - Englewood Cliffs
PB  - [S.n.]
KW  - PROGRAMACIÓN LÓGICA
KW  - PROCESAMIENTO PARALELO
N1  - 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
ER  -