01649nam2-2200457li-450 99000021099020331620180312154743.03-540-60017-50021099USA010021099(ALEPH)000021099USA01002109920001109d1995----km-y0itay0103----baengGWComputer science logic8th Workshop, CSL '94Kazimierz,Poland, September 25-30, 1994selected papersLeszek Pacholski ... [etc.] (eds.)Berlin [etc.]Springer-Verlagcopyr. 1995IX, 541 p.ill.25 cmLecture notes in computer science93300100202642001Lecture notes in computer scienceCongressiKazimierz1994Elaboratori elettroniciCongressi1994Logica matematicaCongressi1994004Elab. dei dati Scienza degli elab. InformaticaPACHOLSKI,LeszekWorkshop CSL'948.Kazimierz1994747199Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000210990203316001 LNCS (933)001869800100103704BKSCI1996040520001110USA011714ALANDI9020010131USA011251ALANDI9020010403USA011140ALANDI9020010413USA01124120020403USA011629PATRY9020040406USA011615ANDRIA9020100420USA011730Computer science logic1492491UNISA