LEADER 01361nam2-2200373---450-
001 990005795360203316
005 20130114153302.0
010   $a3540164928
035   $a000579536
035   $aUSA01000579536
035   $a(ALEPH)000579536USA01
035   $a000579536
100   $a20130114d1986----km-y0itay50------ba
101   $aeng
102   $aDE
105   $aa---||||001yy
200 1 $aThird international conference on logic programming$eImperial college of science and technology$eLondon, United Kingdom, july 14-18, 1986$eproceedings$fedited by Ehud Shapiro
210   $aBerlin [etc.]$cSpringer$dcopyr. 1986
215   $aIX, 720 p.$cill.$d24 cm
225 2 $aLecture notes in computer science$v225
410  0$12001$aLecture notes in computer science
461  1$1001000314960$12001$aLecture notes in computer science
606 0 $aLinguaggi di programmazione$xAtti di congressi$yLondra$z1986$2BNCF
676   $a005.13
702  1$aSHAPIRO,$bEhud
710 12$aInternational conference on automated deduction$d<3.;$e1986;$fLondon>$0616228
801  0$aIT$bsalbc$gISBD
912   $a990005795360203316
951   $a001 LNCS 225$b18242/SM$c001$d00102371
959   $aBK
969   $aSCI
979   $aANGELA$b90$c20130114$lUSA01$h1533
996   $aThird international conference on logic programming$91080975
997   $aUNISA