01455nam2-2200433li-450 99000020184020331620180312154838.03-540-56734-80020184USA010020184(ALEPH)000020184USA01002018420001109d1993----km-y0itay0103----baengGW<<The>> logic of information structuresHeinrich WansingBerlin [etc.]Springer-Verlagcopyr. 1993IX, 163 p.ill.24 cmLecture notes in artificial intelligence681serie principale: lecture notes incomputer science00100199922001Lecture notes in artificial intelligenceelaboratori elettroniciintelligenza artificialelogica matematicalogica simbolica004Elab. dei dati Scienza degli elab. InformaticaWansing,Heinrich714563Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000201840203316006.3 LNIA (681)0015239006.300106606BKSCI1999013120001110USA011714ALANDI9020010328USA01133620020403USA011628PATRY9020040406USA011614Logic of information structures1381889UNISA