01496nam2-2200421li-450 99000020640020331620180312154704.03-540-61377-30020640USA010020640(ALEPH)000020640USA01002064020001109d1996----km-y0itay0103----baengGWComputer science logic9th International workshop CSL'95Paderborn, Germany, September 22-29, 1995Hans Kleine Buning (ed.)BerlinSpringer-Verlagcopyr. 1996VIII, 485 p. . ill.23 cmLecture notes in computer science109200100202642001Lecture notes in computer sciencecongressipaderborn1995elaboratori elettronicicongressi1995logica matematicacongressi1995004Elab. dei dati Scienza degli elab. InformaticaBuning,Hans KleineInternational workshop CSL'95Paderborn1995746231Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000206400203316001 LNCS (1092)001909400100103870BKSCI1996102520001110USA011714ALANDI9020010201USA01115620020403USA011628PATRY9020040406USA011615Computer science logic1489227UNISA