00894nam2-2200325---450 99000870445040332120180321124641.0000870445FED01000870445(Aleph)000870445FED0120080909d1984----km-y0itay50------baitaITy-------001yyBolognaIstituto centrale di statisticaRomaIstat1984XXV, 119 p.32 cm0010008703302001Fascicoli provinciali37Emilia RomagnaIndustrieBolognaIndustriaIstat374421ITUNINARICAUNIMARCBK990008704450403321Istat Cens.I. 1981 2, 1(37)ist. 11331ILFGEISTAT 13700754DINSTILFGEDINSTBologna303831UNINA01477nam0 2200313 i 450 VAN0004478320240806100432.794978-35-406-7895-320060503d2000 |0itac50 baengDE|||| |||||Computer science logic14. international workshop, CSL 2000, Annual conference of the EACSLFischbachau, Germany, August 21-26, 2000proceedingsPeter G. Clote, Helmut Schwichtenberg (eds.)BerlinSpringer2000XIII, 541 p.24 cm001VAN000294382001 Lecture notes in computer science210 Berlin [etc.]Springer186203-XXMathematical logic and foundations [MSC 2020]VANC019750MF68-XXComputer science [MSC 2020]VANC019670MFBerlinVANL000066ClotePeter G.VANV036107SchwichtenbergHelmutVANV036106Springer <editore>VANV108073650ITSOL20240906RICA/sebina/repository/catalogazione/documenti/Clote, Schwichtenberg - Computer science logic.pdfContentsBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN00044783BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 0865 08 6731 II 20060503 Computer Science Logic771972UNICAMPANIA