01319nam2-2200397li-450 99000020240020331620180312154620.03-540-65509-30020240USA010020240(ALEPH)000020240USA01002024020001109d1998----km-y0itay0103----baengGWTheory reasoning in connection calculiPeter BaumgartnerBerlin [etc.]Springer-Verlagcopyr. 1998IX, 283 p.ill.24 cmLecture notes in artificial intelligence1527serie principale : lecture notes in computer science00100199922001Lecture notes in artificial intelligenceintelligenza artificiale0040151.Baumgartner,Peter745573Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000202400203316006.3 LNIA (1527)0023109006.300106773BKSCI1999031820001110USA011714ALANDI9020010330USA01165120020403USA011628PATRY9020040406USA011615Theory reasoning in connection calculi1487138UNISA