01624nam2-2200421li-450 99000020049020331620180312154626.03-540-59338-10020049USA010020049(ALEPH)000020049USA01002004920001109d1995----km-y0itay0103----baengGWTheorem proving with analytic tableaux and related methods4th International workshop TABLEAUX'95SchloB Rheinfels, St. Goar, Germany, May 7-10, 1995Peter Baumgartner [ed.]Berlin [etc.]Springer-Verlagcopyr. 1995X, 352 p.ill.24 cmLecture notes in artificial intelligence918serie principale: lecture notes incomputer science00100199922001Lecture notes in artificial intelligencecongressischlob rheinfels1995intelligenza artificialecongressi1995logica matematicacongressi19950063Intelligenza artificiale [precedent. 001.535]Baumgartner,PeterInternational workshop TABLEAUX'954.SchloB Rheinfels1995745838Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000200490203316006.3 LNIA (918)0017671BKSCI1999020520001110USA01171320020403USA011627PATRY9020040406USA011614Theorem proving with analytic tableaux and related methods1487879UNISA