LEADER 02281nam0 22004693i 450 001 AQ10007185 005 20251003044041.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 183 1$6z01$anc$2RDAcarrier 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$9Sistemi fondati sulla rappresentazione della conoscenza$v22 696 $aConvegni$aCongressi e convegni 696 $aConvegni$aCongressi e convegni$aLogica simbolica$aLogica matematica 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$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-000000$c20120113 850 $aIT-BN0095 912 $aAQ10007185 950 0$aBiblioteca Centralizzata di Ateneo$c43 v.$d 01COLL. ING LNAI$e 0102 0000023625 VMA A4(0814 v. 814$fY $h19960301$i20120113 977 $a 01 996 $aAutomated deduction - CADE-12$91381974 997 $aUNISANNIO