LEADER 01206nam0 22002411i 450 001 VAN0049655 005 20060817120000.0 100 $a20060817d1961 |0itac50 ba 101 $aita 102 $aIT 105 $a|||| ||||| 200 1 $aSaggi di storia dell'architettura in onore del professor Vincenzo Fasolo 210 $aRoma$cIstituto di storia dell'architettura$d1961 215 $a379 p.$cill.$d35 cm. 461 1$1001VAN0025368$12001 $aQuaderni dell'Istituto di storia dell'architettura$fUniversità degli Studi La Sapienza, Roma. Istituto di Storia dell'Architettura$1210 $aRoma$cBonsignori$d1953-$1215 $av.$cill.$d35 cm$1300 $aPeriodicità non determinata. 620 $dRoma$3VANL000360 702 1$aFasolo$bVincenzo$3VANV039160 801 $aIT$bSOL$c20220506$gRICA 899 $aBIBLIOTECA DEL DIPARTIMENTO DI ARCHITETTURA E DISEGNO INDUSTRIALE$1IT-CE0107$2VAN01 912 $aVAN0049655 950 $aBIBLIOTECA DEL DIPARTIMENTO DI ARCHITETTURA E DISEGNO INDUSTRIALE$d01CONS IBa1(20) $e01 47608 20060921 996 $aSaggi di Storia dell'architettura in onore del Professor Vincenzo Fasolo$9325052 997 $aUNICAMPANIA LEADER 02481nam0 22005533i 450 001 VAN00249404 005 20240806101419.94 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$1001VAN00029438$12001 $aLecture notes in computer science$1210 $aBerlin [etc.]$cSpringer$v11972 500 1$3VAN00249405$aLogical Foundations of Computer Science$9772536 606 $a00B25$xProceedings of conferences of miscellaneous specific interest [MSC 2020]$3VANC020732$2MF 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$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$c20251024$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 $aVAN00249404 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08DLOAD e-book 4724 $e08eMF4724 20220830 996 $aLogical Foundations of Computer Science$9772536 997 $aUNICAMPANIA