02281nam0 22004693i 450 AQ1000718520251003044041.00387581561New York3540581561Berlin20120113d1994 ||||0itac50 baengdez01i xxxe z01nz01ncRDAcarrierAutomated deduction - CADE-1212. International conference on automated deductionNancy, France, June 26 - July 1, 1994proceedingsAlan Bundy (ed.)Berlin [etc.]Springerc1994XVI, 848 p.24 cmLecture notes in computer scienceedited by G. Goos and J. Hartmanis. Lecture notes in artificial intelligence814001MIL01329802001 Lecture notes in computer scienceedited by G. Goos and J. Hartmanis. Lecture notes in artificial intelligence814Logica simbolicaCongressi1994FIRNAPC242562ILogica matematicaCongressi1994FIRNAPC242563I006.3INTELLIGENZA ARTIFICIALE14006.33Sistemi fondati sulla rappresentazione della conoscenza22ConvegniCongressi e convegniConvegniCongressi e convegniLogica simbolicaLogica matematica <Logica simbolica>CongressiConvegniCongressiCongressi e convegniCongressiConvegniCongressiCongressi e convegniLogica matematicaLogica simbolicaLogica matematicaLogica matematica <Logica simbolica>Bundy, AlanRAVV003729International conference on automated deduction <12. ; 1994 ; Nancy>AQ1V003764070714635International CADE-12 <12. ; 1994 ; Nancy>AQ1V003765International conference on automated deduction <12. ; 1994 ; Nancy>ITIT-00000020120113IT-BN0095 AQ10007185Biblioteca Centralizzata di Ateneo43 v. 01COLL. ING LNAI 0102 0000023625 VMA A4(0814 v. 814Y 1996030120120113 01Automated deduction - CADE-121381974UNISANNIO