02478nam0 22005533i 450 VAN024940420230531084739.848N978303036755820220830d2020 |0itac50 baengCH|||| |||||Logical Foundations of Computer ScienceInternational Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, ProceedingsSergei Artemov, Anil Nerode editorsChamSpringer2020x, 287 p.ill.24 cm001VAN00294382001 Lecture notes in computer science210 Berlin [etc.]Springer11972VAN0249405Logical Foundations of Computer Science77253603-XXMathematical logic and foundations [MSC 2020]VANC019750MF00B25Proceedings of conferences of miscellaneous specific interest [MSC 2020]VANC020732MF03B70Logic in computer science [MSC 2020]VANC024541MFArtificial IntelligenceKW:KComplexityKW:KComputabilityKW:KComputer ScienceKW:KConstructive type theoryKW:KFirst-order logicKW:KFormal logicKW:KGPAC-generable functionsKW:KHigher-order arithmeticsKW:KKnowledge of uncertain worldsKW:KModal LogicKW:KNon-normal modal logicsKW:KObservable modelsKW:KPrimitive recursionKW:KProblem SolvingKW:KSemanitic systemsKW:KTheorem provingKW:KCHChamVANL001889ArtemovSergeiVANV204003NerodeAnil1932- VANV044082Symposium on Logical Foundations of Computer Science2020Deerfield Beach, FL, USAVANV204004ITSOL20230602RICAhttp://doi.org/10.1007/978-3-030-36755-8E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN0249404BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 4724 08eMF4724 20220830 Logical Foundations of Computer Science772536UNICAMPANIA