01603nam2-2200433li-450 99000020044020331620180312154627.03-540-58156-10020044USA010020044(ALEPH)000020044USA01002004420001109d1994----km-y0itay0103----baengGWAutomated deductionCADE-1212 International conference on automated deductionNancy,France, June 26-July 1, 1994proceedingsAlan Bundy (ed.)Berlin [etc.]Springer-Verlagcopyr. 1994XVI, 848 p.ill.24 cmLecture notes in artificial intelligence814serie principale: lecture notes incomputer science00100199922001Lecture notes in artificial intelligencecongressinancy1994intelligenza artificialecongressi1994logica matematicacongressi1994005131Logica matematica (Logica simbolica)Bundy,AlanInternational conference on automated deduction12.Nancy1994746331Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000200440203316006.3 LNIA (814)0016350006.300106628BKSCI1999020120001110USA011713ALANDI9020010328USA01175620020403USA011627PATRY9020040406USA011614Automated deduction1489500UNISA