01982nam0 22003973i 450 AQ1001292420251003044042.00387569448New York3540569448Berlin20120120d1993 ||||0itac50 baengdez01i xxxe z01nz01ncRDAcarrierLogic 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 LOGICA22ConvegniCongressi e convegniCongressiConvegniCongressiCongressi e convegniVoronkov, 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-00000020120120IT-BN0095 AQ10012924Biblioteca Centralizzata di Ateneo43 v. 01COLL. ING LNAI 0102 0000013265 VMA A4(0698 v. 698Y 1994091220120120 01Logic programming and automated reasoning1382024UNISANNIO