01745nam2 22004093i 450 VAN0029549320250916015544.664N978370919394520250624d1995 |0itac50 baengAT|||| |||||i e bcrVolume 1Kurt-Gödel-GesellschaftWienSpringer1995122 p.ill.24 cm001VAN002954922001 Collegium LogicumAnnals of the Kurt-Godel-SocietyKurt-Gödel-Gesellschaft210 WienSpringer1995-1996215 2 volumiill.24 cm100B15Collections of articles of miscellaneous specific interest [MSC 2020]VANC023985MF03-XXMathematical logic and foundations [MSC 2020]VANC019750MFAlgorithm analysis and problem complexityKW:KAutomated deductionKW:KCompletenessKW:KLogic programmingKW:KWienVANL000107Kurt-Gödel SocietyVANV2514861828489Springer <editore>VANV108073650Kurt-Gödel-GesellschaftKurt-Gödel SocietyVANV251487ITSOL20250919RICAhttps://doi.org/10.1007/978-3-7091-9394-5E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00295493BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-Book 11987 08eMF11987 20250728 Volume 14397400UNICAMPANIA