LEADER 00875nam0-22003011i-4500 001 990001322740403321 005 20170214143304.0 010 1$a3-540-16492-8 035 $a000132274 035 $aFED01000132274 035 $a(Aleph)000132274FED01 035 $a000132274 100 $a20000920d--------km-y0itay50------ba 101 1$aeng 200 1 $aThird International Conference on Logic Programming$eLondon, United Kingdom, july 1986 210 $aBerlin [etc.]$cSpringer-Verlag 215 $aIX, 720 p. 225 1 $aLecture notes in computer science$v225 702 1$aGroos,$bG. 702 1$aHartmanis,$bJuris 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990001322740403321 952 $aC-16-(225$b7382$fMA1 959 $aMA1 996 $aThird International Conference on Logic Programming$9382929 997 $aUNINA DB $aING01