01597nam2-2200421li-450 99000020215020331620180312154711.03-540-62920-30020215USA010020215(ALEPH)000020215USA0100202152001999021997-------y0itay0103----baengGWAutomated reasoning with analytic tableaux and related methodsinternational conference, TABLEAUX'97Pont-à-Mousson, France, May 13-16, 1997proceedingsDidier Galmiche (ed.)BerlinSpringer-Verlagcopyr. 1997XI, 372 p.ill.23 cmLecture notes in artificial intelligence122700100199922001Lecture notes in artificial intelligencecongressipont-a-mousson1997elaborazione parallelacongressi1997intelligenza artificialecongressi19970063Intelligenza artificiale [precedent. 001.535]Galmiche,DidierInternational TABLEAUX'97Pont-à-Mousson1997746721Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000202150203316006.3 LNAI (1227)0020294BKSCI1999021120001110USA01171420020403USA011628PATRY9020040406USA011615ANGELA9020081201USA011244Automated reasoning with analytic tableaux and related methods1490866UNISA