02400nam0 22004093i 450 AQ1001344020250117062430.0038755887XNew York354055887XBerlin20120117d1992 ||||0itac50 baengdez01i xxxe z01nLogics in AIEuropean workshop JELIA '92Berlin, Germany, September 7-10, 1992proceedingsD. Pearce, G. Wagner (eds.)Berlin [etc.]Springerc1992VIII, 410 p.25 cmLecture notes in computer scienceedited by G. Goos and J. Hartmanis. Lecture notes in artificial intelligence633001MIL01329802001 Lecture notes in computer scienceedited by G. Goos and J. Hartmanis. Lecture notes in artificial intelligence633Intelligenza artificialeCongressi1992FIRMILC046688ILogica simbolicaCongressi1992FIRNAPC242159ILogica matematicaCongressi1992FIRNAPC242160I006.3INTELLIGENZA ARTIFICIALE14006.3015113INTELLIGENZA ARTIFICIALE. Logica matematica (Logica simbolica)22Wagner, Gerd <1957- >AQ1V003001Pearce, David A. <1952- >NAPV120525340European workshop JELIA '92 <3. ; 1992 ; Berlino>AQ1V007296070714706Journées Européennes sur la logique en intelligence artificielle <3. ; 1992 ; Berlino>AQ1V007297European workshop JELIA '92 <3. ; 1992 ; Berlino>European workshop on logics in AI <3. ; 1992 ; Berlino>NAPV120534European workshop JELIA '92 <3. ; 1992 ; Berlino>European workshop on logics in artificial intelligence <3. ; 1992 ; Berlino>NAPV120535European workshop JELIA '92 <3. ; 1992 ; Berlino>ITIT-NA007920120117IT-BN0095 AQ10013440Biblioteca 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 0000012095 B A4(0633 v. 6333 1994070620120117 01Logics in AI1382048UNISANNIO