LEADER 01993nam0 22003613i 450 
001 AQ10007185
005 20240726073924.0
010   $a0387581561$bNew York
010   $a3540581561$bBerlin
100   $a20120113d1994    ||||0itac50      ba
101 | $aeng
102   $ade
181  1$6z01$ai $bxxxe  
182  1$6z01$an
200 1 $aAutomated deduction - CADE-12$e12. International conference on automated deduction$eNancy, France, June 26 - July 1, 1994$eproceedings$fAlan Bundy (ed.)
210   $aBerlin [etc.]$cSpringer$dc1994
215   $aXVI, 848 p.$d24 cm
225 | $aLecture notes in computer science$fedited by G. Goos and J. Hartmanis$i. Lecture notes in artificial intelligence$v814
410  0$1001MIL0132980$12001 $aLecture notes in computer science$fedited by G. Goos and J. Hartmanis$i. Lecture notes in artificial intelligence$v814
606   $aLogica simbolica$xCongressi$x1994$2FIR$3NAPC242562$9I
606   $aLogica matematica$xCongressi$x1994$2FIR$3NAPC242563$9I
676   $a006.3$9INTELLIGENZA ARTIFICIALE$v14
676   $a006.33$9Intelligenza artificiale. Sistemi fondati sulla rappresentazione della conoscenza$v22
702  1$aBundy$b, Alan$3RAVV003729
710 12$aInternational conference on automated deduction$d <12.$f ; 1994$e ; Nancy>$3AQ1V003764$4070$0714635
791 12$aInternational CADE-12$d <12.$f ; 1994$e ; Nancy>$3AQ1V003765$zInternational conference on automated deduction <12. ; 1994 ; Nancy>
801  3$aIT$bIT-NA0079$c20120113
850   $aIT-BN0095          
912   $aAQ10007185
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 0000023625    B A4(0814               v. 814$f3 $h19960301$i20120113
977   $a 01
996   $aAutomated deduction - CADE-12$91381974
997   $aUNISANNIO