01882nam0 22003493i 450 AQ1000760320250117062427.00387582169New York3540582169Berlin20120120d1994 ||||0itac50 baengdez01i xxxe z01nLogic programming and automated reasoning5. international conference, LPAR '94Kiev, Ukraine, July 16-22, 1994proceedingsFrank Pfenning (ed.)Berlin [etc.]Springerc1994X, 344 p.24 cmLecture notes in computer scienceedited by G. Goos and J. Hartmanis. Lecture notes in artificial intelligence822001MIL01329802001 Lecture notes in computer scienceedited by G. Goos and J. Hartmanis. Lecture notes in artificial intelligence822Programmazione logicaCongressi1994FIRNAPC259308I005.1PROGRAMMAZIONE14005.115PROGRAMMAZIONE LOGICA22Pfenning, FrankAQ1V004008International conference LPAR '94 <5. ; 1994 ; Kiev>AQ1V004007070714641International conference on logic programming and automated reasoning <5. ; 1994 ; Kiev>AQ1V004009International conference LPAR '94 <5. ; 1994 ; Kiev>ITIT-NA007920120120IT-BN0095 AQ10007603Biblioteca Centralizzata di Ateneov. 475;617;624;633;659-660;667;671;679;681;689;695;698-699;723;727-728;743-746;754;764;766;770;784;795;798;804;808;810;814;822;827;830;833;835;837-838;861-862;86743 v. 01COLL. ING LNAI 0102 0000022395 B A4(0822 v. 8223 1996021920120120 01Logic programming and automated reasoning1381980UNISANNIO