LEADER 02478nam0 22005533i 450 001 VAN0249404 005 20230531084739.848 017 70$2N$a9783030367558 100 $a20220830d2020 |0itac50 ba 101 $aeng 102 $aCH 105 $a|||| ||||| 200 1 $aLogical Foundations of Computer Science$eInternational Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4?7, 2020, Proceedings$fSergei Artemov, Anil Nerode editors 210 $aCham$cSpringer$d2020 215 $ax, 287 p.$cill.$d24 cm 410 1$1001VAN0029438$12001 $aLecture notes in computer science$1210 $aBerlin [etc.]$cSpringer$v11972 500 1$3VAN0249405$aLogical Foundations of Computer Science$9772536 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 606 $a00B25$xProceedings of conferences of miscellaneous specific interest [MSC 2020]$3VANC020732$2MF 606 $a03B70$xLogic in computer science [MSC 2020]$3VANC024541$2MF 610 $aArtificial Intelligence$9KW:K 610 $aComplexity$9KW:K 610 $aComputability$9KW:K 610 $aComputer Science$9KW:K 610 $aConstructive type theory$9KW:K 610 $aFirst-order logic$9KW:K 610 $aFormal logic$9KW:K 610 $aGPAC-generable functions$9KW:K 610 $aHigher-order arithmetics$9KW:K 610 $aKnowledge of uncertain worlds$9KW:K 610 $aModal Logic$9KW:K 610 $aNon-normal modal logics$9KW:K 610 $aObservable models$9KW:K 610 $aPrimitive recursion$9KW:K 610 $aProblem Solving$9KW:K 610 $aSemanitic systems$9KW:K 610 $aTheorem proving$9KW:K 620 $aCH$dCham$3VANL001889 702 1$aArtemov$bSergei$3VANV204003 702 1$aNerode$bAnil$f1932- $3VANV044082 712 12$aSymposium on Logical Foundations of Computer Science$f2020$eDeerfield Beach, FL, USA$3VANV204004 801 $aIT$bSOL$c20230602$gRICA 856 4 $uhttp://doi.org/10.1007/978-3-030-36755-8$zE-book ? Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $fN 912 $aVAN0249404 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS e-book 4724 $e08eMF4724 20220830 996 $aLogical Foundations of Computer Science$9772536 997 $aUNICAMPANIA