01979nam0 22003493i 450 AQ1001292420250117062430.00387569448New York3540569448Berlin20120120d1993 ||||0itac50 baengdez01i xxxe z01nLogic programming and automated reasoning4. international conference, LPAR '93St. Petersburg, Russia, July 13-20, 1993proceedingsAndrei Voronkov (ed.)Berlin [etc.]Springerc1993XIII, 386 p.24 cmLecture notes in computer scienceedited by G. Goos and J. Hartmanis. Lecture notes in artificial intelligence698001MIL01329802001 Lecture notes in computer scienceedited by G. Goos and J. Hartmanis. Lecture notes in artificial intelligence698Programmazione logicaCongressi1993FIRNAPC223597I005.1PROGRAMMAZIONE14005.115PROGRAMMAZIONE LOGICA22Voronkov, Andrei <1959- >MILV089023International conference on logic programming and automated reasoning <4. ; 1993 ; San Pietroburgo>AQ1V006979070714681International conference LPAR '93 <4. ; 1993 ; San Pietroburgo>NAPV120569International conference on logic programming and automated reasoning <4. ; 1993 ; San Pietroburgo>ITIT-NA007920120120IT-BN0095 AQ10012924Biblioteca 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 0000013265 B A4(0698 v. 6983 1994091220120120 01Logic programming and automated reasoning1382024UNISANNIO