01993nam0 22003613i 450 AQ1000718520240726073924.00387581561New York3540581561Berlin20120113d1994 ||||0itac50 baengdez01i xxxe z01nAutomated 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.33Intelligenza artificiale. Sistemi fondati sulla rappresentazione della conoscenza22Bundy, AlanRAVV003729International conference on automated deduction <12. ; 1994 ; Nancy>AQ1V003764070714635International CADE-12 <12. ; 1994 ; Nancy>AQ1V003765International conference on automated deduction <12. ; 1994 ; Nancy>ITIT-NA007920120113IT-BN0095 AQ10007185Biblioteca Centralizzata di Ateneov. 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;86743 v. 01COLL. ING LNAI 0102 0000023625 B A4(0814 v. 8143 1996030120120113 01Automated deduction - CADE-121381974UNISANNIO