01617nam2-2200421li-450 99000019991020331620180312154626.03-540-66086-00019991USA010019991(ALEPH)000019991USA01001999120001109d1999----km-y0itay0103----baengGWAutomated reasoning with analytic tableaux and related methodsInternational conference, TABLEAUX'99Saratoga Springs, NY, USA, June 7-11, 1999proceedingsNeil V. Murray (ed.)Berlin [etc.]Springer-Verlagcopyr. 1999X, 323 p.ill.24 cmLecture notes in artificial intelligence1617serie principale: lecture notes incomputer science00100199922001Lecture notes in artificial intelligencecongressisaratoga1999intelligenza artificialecongressi1999sistemi esperticongressi199900633Sistemi basati sulla rappresent. della conoscenzaMurray,Neil V.International conference TABLEAUX '99Saratoga1999745837Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000199910203316006.3 LNIA (1617)0023756BKSCI1999062820001110USA01171320020403USA011627PATRY9020040406USA011614Automated reasoning with analytic tableaux and related methods1487871UNISA