LEADER 01053nam--2200361---450- 001 990002312570203316 005 20090616161012.0 035 $a000231257 035 $aUSA01000231257 035 $a(ALEPH)000231257USA01 035 $a000231257 100 $a20041228d1980----km-y0itay0103----ba 101 $aita 102 $aIT 105 $a||||||||001yy 200 1 $a<> nuovo servizio psichiatrico$gBruno Benigni, Fabrizio Ciappi, Giuseppe Germano 210 $aRoma$cLa Nuova Italia Scientifica$d1980 215 $a293 p.$d22 cm 410 0$12001 454 1$12001 461 1$1001-------$12001 702 1$aBENIGNI,$bBruno 702 $aGERMANO,$bGiuseppe 702 $aMARTINI,$bPaolo 801 0$aIT$bsalbc$gISBD 912 $a990002312570203316 951 $aXXIV.3.Q 150 (IG XVI 44)$b58835 G.$cXXIV.3.Q 150 (IG XVI)$d00232675 959 $aBK 969 $aGIU 979 $aSIAV1$b10$c20041228$lUSA01$h1530 979 $aRSIAV1$b90$c20090616$lUSA01$h1610 996 $aNuovo servizio psichiatrico$9955743 997 $aUNISA 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