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