01483nam2-2200409li-450 99000020209020331620180312154738.03-540-64515-20020209USA010020209(ALEPH)000020209USA0100202092001999021998-------y0itay0103----baengGW<<The>> automation of reasoning with incomplete informationfrom semantic foundations to efficient computationTorsten SchaubBerlinoSpringer-Verlagcopyr. 1998XI,. 159 p.ill.23 cmLecture notes in artificial intelligence1409serie principale: lecture notes incomputer science00100199922001Lecture notes in artificial intelligenceintelligenza artificiale0063Intelligenza artificiale [precedent. 001.535]Schaub,Torsten747212Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000202090203316006.3 LNAI (1409)0022695006.300106745BKSCI1999021320001110USA011714ALANDI9020010330USA01114520020403USA011628PATRY9020040406USA011615ANGELA9020081201USA011321Automation of reasoning with incomplete information1492508UNISA