LEADER 00968nam0-22003131i-450- 001 990001847390403321 005 20021010 035 $a000184739 035 $aFED01000184739 035 $a(Aleph)000184739FED01 035 $a000184739 100 $a20021010d--------km-y0itay50------ba 101 0 $aita 200 1 $aDomenico Cirillo and the chemical action of light in connection with vegetable irritabily$fItalo Giglioli. 210 $aPortici$c...$d1901. 215 $a15 p.$d25 cm 300 $aEstr. da: Nature, 63,1900. 610 0 $aChimica vegetale 676 $a581.19 700 1$aGiglioli,$bItalo$f<1852-1920>$06228 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990001847390403321 952 $a60 MISC. B 62/5$b$fFAGBC 952 $a60 MISC. B 64/5$b$fFAGBC 959 $aFAGBC 996 $aDomenico Cirillo and the chemical action of light in connection with vegetable irritabily$9415092 997 $aUNINA DB $aING01 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