00857nam0-22002771i-450-990000100440403321000010044FED01000010044(Aleph)000010044FED0100001004420011111d--------km-y0itay50------baitay-------001yy<<La >>chaleur considéré come un mode de mouvementcours en douze leȯns professée à l'Institution royale de la Grande-BretagneJohn Tyndallouvrage traduit de l'anglais par F. Moigno.ParisE. Giraud1864XV, 462, 2 p., 1 tav.ill.19 cmCalore536Tyndall,JohnITUNINARICAUNIMARCBK99000010044040332113 AR 19 A 294399FINBCFINBCUNINAING0101624nam2-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