01131nam0 22002773i 450 SUN008313220110407092935.490978-08-637-7438-620110407d1996 |0engc50 baengGB|||| |||||Rationality and reasoningJonathan St. B. T. Evans, David E. OverHovePsychology1996ix, 179 p.ill.23 cm.001SUN00192272001 Essays in cognitive psychology210 HovePsychology.HoveSUNL000147Evans, Jonathan St. B. T.SUNV067922601721Over, David E.SUNV068733723828PsychologySUNV003039650ITSOL20181109RICASUN0083132UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI PSICOLOGIA16 CONS INGL 346 16 9635 provvisorioUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI PSICOLOGIAIT-CE01199635CONS INGL 346caprovvisorioRationality and reasoning1420773UNICAMPANIA01692nam2-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