02478nam0 22004213i 450 AQ1000803820240830062549.00387583327New York3540583327Berlin20120117d1994 ||||0itac50 baengdez01i xxxe z01nLogics in artificial intelligenceEuropean workshop JELIA '94York, UK, September 5-8, 1994proceedingsCraigh MacNish, David Pearce, Luís Moniz Pereira (eds.)Berlin [etc.]Springerc1994IX, 413 p.24 cmLecture notes in computer scienceedited by G. Goos and J. Hartmanis. Lecture notes in artificial intelligence838001MIL01329802001 Lecture notes in computer scienceedited by G. Goos and J. Hartmanis. Lecture notes in artificial intelligence838Intelligenza artificialeCongressi1994FIRNAPC259508ILogica simbolicaCongressi1994FIRNAPC242562ILogica matematicaCongressi1994FIRNAPC242563I006.3INTELLIGENZA ARTIFICIALE14006.3015113INTELLIGENZA ARTIFICIALE. Logica matematica (Logica simbolica)22MacNish, CraigAQ1V004336Pereira, Luís MonizAQ1V004337Pearce, David A. <1952- >NAPV120525340European workshop on logics in AI <4. ; 1994 ; York>AQ1V004338070714657Journees Europeennes sur la logique en intelligence artificielle <4. ; 1994 ; York>AQ1V004339European workshop on logics in AI <4. ; 1994 ; York>JELIA '94 <4. ; 1994 ; York>NAPV120526European workshop on logics in AI <4. ; 1994 ; York>European workshop on logics in artificial intelligence <4. ; 1994 ; York>NAPV120527European workshop on logics in AI <4. ; 1994 ; York>ITIT-NA007920120117IT-BN0095 AQ10008038Biblioteca 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 0000022555 B A4(0838 v. 8383 1996021920120117 01Logics in artificial intelligence1381998UNISANNIO