01501nam2-2200409li-450 99000020862020331620180312154714.03-540-65922-60020862USA010020862(ALEPH)000020862USA01002086220001109d1999----km-y0itay0103----baengGWComputer science logicInternational workshop, CSL '98annual conference of the EACSLBrno, Czech Republic, August 24-28, 1998proceedingsGeorg Gottlob ... [et al.] (eds.)Berlin [etc.]Springer-Verlagcopyr. 1999X, 429 p.ill.24 cmLecture notes in computer science158400100202642001Lecture notes in computer sciencecongressibrno (czech republic)1998elaboratori elettroniciprogrammazionecongressi1998logica matematicacongressi1998005131Logica matematica (Logica simbolica)Gottlob,GeorgInternational workshop CSl '9812Brno1998746716Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000208620203316001 LNCS (1584)0023627BKSCI1999052920001110USA01171420020403USA011629PATRY9020040406USA011615Computer science logic1490860UNISA