LEADER 01136nam0-22003131i-450- 001 990002045070403321 005 20090324125959.0 035 $a000204507 035 $aFED01000204507 035 $a(Aleph)000204507FED01 035 $a000204507 100 $a20030910d1927----km-y0itay50------ba 101 0 $aeng 200 1 $aResearch in Polynesia and Melanesia$ean account of investigations in Samoa, Tonga, the Ellice group, and the New Hebrides, in 1924, 1925$fPatrick A. Buxton et G. H. Hopkins 210 $aLondon$cLondon school of hygiene and tropical medicine$d1927 215 $a260 p., 12 tv.$d26 cm 225 1 $aMemoir Series of theLondon school of hygiene and tropical medicine$v1 327 0 $a1.: Parts I-IV, relating principally to medical entomology 610 0 $aEntomologia Medica 676 $a574.2 700 1$aBuxton,$bPatrick A.$087078 701 1$aHopkins,$bGeorge Henry Evans$085696 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990002045070403321 952 $a61 V F.2/96$b359$fDAGEN 959 $aDAGEN 996 $aResearch in Polynesia and Melanesia$9407296 997 $aUNINA LEADER 00983nam0-22003011--450- 001 990003856910403321 005 20080117105710.0 035 $a000385691 035 $aFED01000385691 035 $a(Aleph)000385691FED01 035 $a000385691 100 $a20030910d1959----km-y0itay50------ba 101 0 $aeng 102 $aGB 200 1 $aCriteria for Fixation of Water Rates and selection of Irrigation Projects$fNational Council of Applied Economic Research, New Delhi 210 $aLondon$cAsia Publishing House$d1959 215 $aXI, 156 p.$d24 cm 676 $a338.16$v21$zita 710 02$aNational Council of Applied Economic Research$c$0494216 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990003856910403321 952 $aH/1.112 CRI$b1706/I$fSES 952 $aXV L 271$b60144$fFGBC 959 $aSES 959 $aFGBC 996 $aCriteria for Fixation of Water Rates and selection of Irrigation Projects$9514893 997 $aUNINA LEADER 00715nam0-22002771i-450- 001 990003968360403321 005 20031002153859.0 035 $a000396836 035 $aFED01000396836 035 $a(Aleph)000396836FED01 035 $a000396836 100 $a20030922d--------km-y0itay50------ba 101 0 $aita 200 1 $a<>radiazioni nucleari$fHorn W. 205 $a1ed. 210 $aItalia$cBiblioteca Tecnica del Bianco$d1965 610 0 $afisica 676 $a530 700 1$aHorn,$bWalther$087111 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990003968360403321 952 $a00 L1155$b2290$fDETEC 959 $aDETEC 996 $aRadiazioni nucleari$9512477 997 $aUNINA 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$c20250221$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