LEADER 02387nam0 22004693i 450 001 AQ10008049 005 20251003044041.0 010 $a0387584021$bNew York 010 $a3540584021$bBerlin 100 $a20111212d1994 ||||0itac50 ba 101 | $aeng 102 $ade 181 1$6z01$ai $bxxxe 182 1$6z01$an 183 1$6z01$anc$2RDAcarrier 200 1 $aProgramming language implementation and logic programming$e6. international symposium, PLILP '94$eMadrid, Spain, September 14-16$eproceedings$fManuel Hermenegildo, Jaan Penjam (eds.) 210 $aBerlin [etc.]$cSpringer$dc1994 215 $aXII, 468 p.$d24 cm 225 | $aLecture notes in computer science$fedited by G. Goos and J. Hartmanis$v844 300 $aNella pref.: International symposium on programming language implementation and logic programming 410 0$1001MIL0030703$12001 $aLecture notes in computer science$fedited by G. Goos and J. Hartmanis$v844$1702 1$aGoos$b, Gerhard$3AQ1V006441$4340 606 $aElaboratori elettronici$xLinguaggi$xCongressi$x1994$2FIR$3NAPC257757$9I 606 $aProgrammazione logica$xCongressi$x1994$2FIR$3NAPC259308$9I 676 $a005.13$9LINGUAGGI DI PROGRAMMAZIONE$v14 676 $a005.131$9Linguaggi di programmazione. Logica simbolica (Logica matematica)$v22 696 $aConvegni$aCongressi e convegni 696 $aConvegni$aCongressi e convegni 699 $aCongressi$yConvegni 699 $aCongressi$yCongressi e convegni 699 $aCongressi$yConvegni 699 $aCongressi$yCongressi e convegni 702 1$aPenjam$b, Jaan$f <1955- >$3AQ1V004191 702 1$aHermenegildo$b, Manuel$3AQ1V004347 710 12$aInternational symposium on programming language implementation and logic programming$d <6.$f ; 1994$e ; Madrid>$3AQ1V004346$4070$0714658 791 12$aPLIP$d <6.$f ; 1994$e ; Madrid>$3TO0V163583$zInternational symposium on programming language implementation and logic programming <6. ; 1994 ; Madrid> 801 3$aIT$bIT-000000$c20111212 850 $aIT-BN0095 912 $aAQ10008049 950 0$aBiblioteca Centralizzata di Ateneo$c193 v.$d 01COLL. ING. LNCS$e 0102 0000022615 VMA A4844 v. 844$fY $h19960219$i20111212 977 $a 01 996 $aProgramming language implementation and logic programming$91381999 997 $aUNISANNIO