01929nam0 22003373i 450 MIL013896520250117062920.0038755727XNew York354055727XBerlin20120112d1992 ||||0itac50 baengdez01i xxxe z01nLogic programming and automated reasoninginternational conference LPAR '92St. Petersburg, Russia, July 1992proceedingsA. Voronkov (ed.)Berlin [etc.]Springerc1992XIV, 509 p.25 cm.Lecture notes in computer scienceedited by G. Goos and J. Hartmanis. Lecture notes in artificial intelligence624001MIL01329802001 Lecture notes in computer scienceedited by G. Goos and J. Hartmanis. Lecture notes in artificial intelligence624006.3INTELLIGENZA ARTIFICIALE14006.3METODI SPECIALI DI ELABORAZIONE. INTELLIGENZA ARTIFICIALE22Voronkov, Andrei <1959- >MILV089023International conference on logic programming and automated reasoning <3. ; 1992 ; San Pietroburgo>MILV089211070714721International conference LPAR <3. ; 1992 ; San Pietroburgo>AQ1V007346International conference on logic programming and automated reasoning <3. ; 1992 ; San Pietroburgo>ITIT-NA007920120112IT-BN0095 MIL0138965Biblioteca 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 0000012345 B A4(0624 v. 6243 1994070620120112 01Logic programming and automated reasoning1382065UNISANNIO