| 000 | 00901nam a2200217 a 4500 | ||
|---|---|---|---|
| 003 | AR-LpUFIB | ||
| 005 | 20250311170154.0 | ||
| 008 | 230201s1989 xxua r 000 0 eng d | ||
| 020 | _a013648767X | ||
| 024 | 8 |
_aDIF-M914 _b920 _zDIF000913 |
|
| 040 |
_aAR-LpUFIB _bspa _cAR-LpUFIB |
||
| 100 | 1 | _aTaylor, Stephen | |
| 245 | 1 | 0 | _aParallel logic programming techniques |
| 260 |
_aEnglewood Cliffs : _b[S.n.], _cc1989 |
||
| 300 |
_axvi, 205 p. : _bil. ; _c25 cm. |
||
| 500 | _aIncluye bibliografía. -- | ||
| 505 | 0 | _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. | |
| 650 | 4 | _aPROGRAMACIÓN LÓGICA | |
| 650 | 4 | _aPROCESAMIENTO PARALELO | |
| 942 | _cBK | ||
| 999 |
_c50876 _d50876 |
||