000 | 00933cam a22003137a 4500 | ||
---|---|---|---|
001 | 000787 | ||
003 | armpuni | ||
005 | 20160923144702.0 | ||
008 | 160923s1991####xx#a##########000#0#und#d | ||
040 |
_aarmpuni _carmpuni |
||
041 | _aen | ||
080 | _a519.68 | ||
100 | 1 | _aTick, Evan | |
245 | 1 | 0 |
_aParallel logic programming / _cEvan Tick |
260 |
_aCambridge : _bThe MIT Press, _cc 1991 |
||
300 | _a486 p.;, 23 cm. | ||
500 | _aIncluye bibliografia en pg. 471. Incluye indice en pg. 481.Incluye resumen al final de cada capitulo | ||
550 | _a Triangle and mastermind | ||
550 | _aFGHC versions | ||
550 | _aInstant insanity and turtles | ||
550 | _aIsomorghic trees and NAND circuits | ||
550 | _aN_Queens | ||
550 | _aProlog and FGHC | ||
550 | _aPuzzle and waltz | ||
550 | _aSemigroup and Pascal's triangle | ||
550 | _aZebre, salt and mustard | ||
942 |
_cLB _2cdu |
||
945 |
_aR G _d1995-08-11 |
||
999 |
_c786 _d1961 |