03026nam0 22005773i 450 AQ1000803820251003044041.00387583327New York3540583327Berlin20120117d1994 ||||0itac50 baengdez01i xxxe z01nz01ncRDAcarrierLogics 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 ARTIFICIALECONGRESSI1994FIRMILC062676ILogica simbolicaCongressi1994FIRNAPC242562ILogica matematicaCongressi1994FIRNAPC242563I006.3INTELLIGENZA ARTIFICIALE14006.3015113INTELLIGENZA ARTIFICIALE. Logica matematica (Logica simbolica)22ConvegniCongressi e convegniIA <Intelligenza artificiale>ConvegniCongressi e convegniConvegniCongressi e convegniLogica simbolicaLogica matematica <Logica simbolica>CongressiConvegniCongressiCongressi e convegniIntelligenza artificialeIA <Intelligenza artificiale>CongressiConvegniCongressiCongressi e convegniCongressiConvegniCongressiCongressi e convegniLogica matematicaLogica simbolicaLogica matematicaLogica matematica <Logica simbolica>MacNish, 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-00000020120117IT-BN0095 AQ10008038Biblioteca Centralizzata di Ateneo43 v. 01COLL. ING LNAI 0102 0000022555 VMA A4(0838 v. 838Y 1996021920120117 01Logics in artificial intelligence1381998UNISANNIO