LEADER 01167nam--2200385---450-
001 990000557530203316
035   $a0055753
035   $aUSA010055753
035   $a(ALEPH)000055753USA01
035   $a0055753
100   $a20010711d1982----km-y0itay0103----ba
101   $aeng
102   $aGB
105   $a||||||||001yy
200 1 $aLogic programming$fedited by K.L. Clark and S.A. Tärnlund
210   $aLondon$cAcademic Press$d1982
215   $aXV, 366 p.$cill.; tab.$d23 cm
225 2 $aA.P.I.C. studies in data processing$v16
410   $12001$aA.P.I.C. studies in data processing$v16
610 0 $aEleboratori elettronici digitali Programmazione
610 0 $aLogica simbolica
610 0 $aLogica matematica
676   $a001.642
702  1$aCLARK,$bKeith L.
702  1$aTÄRNLUND,$bSten-Ake
801  0$aIT$bsalbc$gISBD
912   $a990000557530203316
951   $a001.6 API 16 B$b13683 SM$c001.6$d00105084
959   $aBK
969   $aSCI
979   $aPATTY$b90$c20010711$lUSA01$h0943
979   $c20020403$lUSA01$h1705
979   $aPATRY$b90$c20040406$lUSA01$h1639
996   $aLogic programming$9337553
997   $aUNISA