LEADER 03026nam0 22005773i 450 001 AQ10008038 005 20251003044041.0 010 $a0387583327$bNew York 010 $a3540583327$bBerlin 100 $a20120117d1994 ||||0itac50 ba 101 | $aeng 102 $ade 181 1$6z01$ai $bxxxe 182 1$6z01$an 183 1$6z01$anc$2RDAcarrier 200 1 $aLogics in artificial intelligence$eEuropean workshop JELIA '94$eYork, UK, September 5-8, 1994$eproceedings$fCraigh MacNish, David Pearce, Luís Moniz Pereira (eds.) 210 $aBerlin [etc.]$cSpringer$dc1994 215 $aIX, 413 p.$d24 cm 225 | $aLecture notes in computer science$fedited by G. Goos and J. Hartmanis$i. Lecture notes in artificial intelligence$v838 410 0$1001MIL0132980$12001 $aLecture notes in computer science$fedited by G. Goos and J. Hartmanis$i. Lecture notes in artificial intelligence$v838 606 $aINTELLIGENZA ARTIFICIALE$xCONGRESSI$x1994$2FIR$3MILC062676$9I 606 $aLogica simbolica$xCongressi$x1994$2FIR$3NAPC242562$9I 606 $aLogica matematica$xCongressi$x1994$2FIR$3NAPC242563$9I 676 $a006.3$9INTELLIGENZA ARTIFICIALE$v14 676 $a006.3015113$9INTELLIGENZA ARTIFICIALE. Logica matematica (Logica simbolica)$v22 696 $aConvegni$aCongressi e convegni$aIA 696 $aConvegni$aCongressi e convegni 696 $aConvegni$aCongressi e convegni$aLogica simbolica$aLogica matematica 699 $aCongressi$yConvegni 699 $aCongressi$yCongressi e convegni 699 $aIntelligenza artificiale$yIA 699 $aCongressi$yConvegni 699 $aCongressi$yCongressi e convegni 699 $aCongressi$yConvegni 699 $aCongressi$yCongressi e convegni 699 $aLogica matematica$zLogica simbolica 699 $aLogica matematica$yLogica matematica 702 1$aMacNish$b, Craig$3AQ1V004336 702 1$aPereira$b, Luís Moniz$3AQ1V004337 702 1$aPearce$b, David A.$f <1952- >$3NAPV120525$4340 710 12$aEuropean workshop on logics in AI$d <4.$f ; 1994$e ; York>$3AQ1V004338$4070$0714657 791 12$aJournees Europeennes sur la logique en intelligence artificielle$d <4.$f ; 1994$e ; York>$3AQ1V004339$zEuropean workshop on logics in AI <4. ; 1994 ; York> 791 12$aJELIA '94$d <4.$f ; 1994$e ; York>$3NAPV120526$zEuropean workshop on logics in AI <4. ; 1994 ; York> 791 12$aEuropean workshop on logics in artificial intelligence$d <4.$f ; 1994$e ; York>$3NAPV120527$zEuropean workshop on logics in AI <4. ; 1994 ; York> 801 3$aIT$bIT-000000$c20120117 850 $aIT-BN0095 912 $aAQ10008038 950 0$aBiblioteca Centralizzata di Ateneo$c43 v.$d 01COLL. ING LNAI$e 0102 0000022555 VMA A4(0838 v. 838$fY $h19960219$i20120117 977 $a 01 996 $aLogics in artificial intelligence$91381998 997 $aUNISANNIO