01692nam2-2200433li-450 99000020171020331620180312154738.03-540-64406-70020171USA010020171(ALEPH)000020171USA0100201712001999021998-------y0itay0103----baengGWAutomated reasoning with analytic tableaux and related methodsInternational conference, TABLEAUX'98Oisterwijk, The Netherlands, May 5-8, 1998proceedingsHarrie de Swart (ed.)BerlinSpringer-Verlagcopyr. 1998X,324 p.ill.23 cmLecture notes in artificial intelligence1397serie principale: lecture notes incomputer science00100199922001Lecture notes in artificial intelligencecongressioisterwijk (the netherlands)1998elaborazione parallelacongressi1998intelligenza artificialecongressi19980063Intelligenza artificiale [precedent. 001.535]Swart,Harrie deInternational TABLEAUX '98Oisterwijk (The Netherlands)1998747208Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000201710203316006.3 LNAI (1397)0022689BKSCI1999021320001110USA01171420020403USA011628PATRY9020040406USA011614ANGELA9020081201USA011320Automated reasoning with analytic tableaux and related methods1492503UNISA