LEADER 02478nam0 22004213i 450 
001 AQ10008038
005 20240830062549.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
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$3NAPC259508$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
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-NA0079$c20120117
850   $aIT-BN0095          
912   $aAQ10008038
950  0$aBiblioteca Centralizzata di Ateneo$bv. 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;867$c43 v.$d 01COLL.     ING                     LNAI$e 0102 0000022555    B A4(0838               v. 838$f3 $h19960219$i20120117
977   $a 01
996   $aLogics in artificial intelligence$91381998
997   $aUNISANNIO