01558nam2-2200421li-450 99000020600020331620180312154712.03-540-63172-00020600USA010020600(ALEPH)000020600USA01002060020001109d1997----km-y0itay0103----baengGWComputer science logic10th International workshop, CSL'96annual conference of the EACSLUtrecht, The Netherlands, September 21-27, 1996selected papersDirk van Dalen ... [et al.] (eds.)BerlinSpringer-Verlagcopyr. 1997VIII,471 p.ill.23 cmLecture notes in computer science125800100202642001Lecture notes in computer sciencecongressiutrecht1996elaboratori elettronicicongressi1996logica matematicacongressi1996004Elab. dei dati Scienza degli elab. InformaticaVan Dalen,DirkInternational workshop CSL'9610.Utrecht1996746735Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000206000203316001 LNCS (1258)002044400100104019BKSCI1997112220001110USA011714ALANDI9020010202USA01142720020403USA011628PATRY9020040406USA011615Computer science logic1490883UNISA