LEADER 03782nam 22007095 450 001 996465740303316 005 20200706082139.0 010 $a3-642-22119-X 024 7 $a10.1007/978-3-642-22119-4 035 $a(CKB)2670000000095941 035 $a(SSID)ssj0000530731 035 $a(PQKBManifestationID)11351560 035 $a(PQKBTitleCode)TC0000530731 035 $a(PQKBWorkID)10583577 035 $a(PQKB)10488282 035 $a(DE-He213)978-3-642-22119-4 035 $a(MiAaPQ)EBC3066817 035 $a(PPN)153868333 035 $a(EXLCZ)992670000000095941 100 $a20110615d2011 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aAutomated Reasoning with Analytic Tableaux and Related Methods$b[electronic resource] $e20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings /$fedited by Kai Brünnler, George Metcalfe 205 $a1st ed. 2011. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2011. 215 $a1 online resource (VIII, 279 p. 40 illus., 4 illus. in color.) 225 1 $aLecture Notes in Artificial Intelligence ;$v6793 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-22118-1 320 $aIncludes bibliographical references and index. 330 $aThis book constitutes the refereed proceedings of the 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2011, held in Bern, Switzerland, in July 2011.The 16 revised research papers presented together with 2 system descriptions were carefully reviewed and selected from 34 submissions. The papers cover many topics in the wide range of applications of tableaux and related methods such as analytic tableaux for various logics, related techniques and concepts, related methods, new calculi and methods for theorem proving in classical and non-classical logics, as well as systems, tools, implementations and applications; all with a special focus on hardware and software verifications, semantic technologies, and knowledge engineering. 410 0$aLecture Notes in Artificial Intelligence ;$v6793 606 $aArtificial intelligence 606 $aMathematical logic 606 $aComputer programming 606 $aSoftware engineering 606 $aComputer logic 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 615 0$aArtificial intelligence. 615 0$aMathematical logic. 615 0$aComputer programming. 615 0$aSoftware engineering. 615 0$aComputer logic. 615 14$aArtificial Intelligence. 615 24$aMathematical Logic and Formal Languages. 615 24$aProgramming Techniques. 615 24$aSoftware Engineering. 615 24$aLogics and Meanings of Programs. 676 $a511.3/6028563 702 $aBrünnler$b Kai$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMetcalfe$b George$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996465740303316 996 $aAutomated Reasoning with Analytic Tableaux and Related Methods$9772640 997 $aUNISA LEADER 02297nam0 22003973i 450 001 SBL0040413 005 20231121125813.0 020 $aIT$b626236 100 $a20150904d1962 ||||0itac50 ba 101 | $aita$ceng 102 $ait 105 $a|||| |||a| 181 1$6z01$ai $bxxxe 182 1$6z01$an 200 1 $aAngelo guerriero$fPearl S. Buck$gtraduzione di Andrea Damiano 205 $aEdizione integrale 210 $a[Milano]$cA. Mondadori$d1962 215 $a228 p.$d19 cm 225 | $a˜I œlibri del pavone$v284 330 $aLa scrittrice ha voluto dedicare alle romanzesche vicende dei suoi genitori due grandi pannelli. Troppo vasta la materia per svilupparla in un solo volume, ecco perché qui campeggia la figura del padre della Buck, missionario in Cina, mentre ne L’Esilio possiamo ammirare la vita di Carolina, eroica, energica e sorridente donna di questo mondo e madre umanissima anche nelle situazioni più paradossali. Nell’Angelo guerriero tutta la luce è concentrata su Andrea, marito e padre esemplare, uomo tuttavia dell’altro mondo, assorto nella sua missione, proiettato verso il futuro, autentico messo del Signore che incede incurante degli spaventosi pericoli, protetto solamente dalla sua incrollabile fede. Fa da sfondo alla messianica figura del protagonista, la Cina di quegli anni misteriosi e profondamente inquieta. 410 0$1001RMS2659691$12001 $a˜I œlibri del pavone$v284 500 10$aFighting angel$3URB0582701$9VIAV000486$93635672 676 $a813.52$9Narrativa americana in lingua inglese. 1900-1945$v22 700 1$aBuck$b, Pearl S.$3VIAV000486$4070$0196364 702 1$aDamiano$b, Andrea$3RAVV020342$4730 790 1$aBuck$b, Pearl Sydenstricker$3CFIV150898$zBuck, Pearl S. 790 1$aBuck$b, Pearl$3MILV240065$zBuck, Pearl S. 790 1$aBak$b, Perl$3TSAV633968$zBuck, Pearl S. 801 3$aIT$bIT-01$c20150904 850 $aIT-FR0017 899 $aBiblioteca umanistica Giorgio Aprea$bFR0017 $eN 912 $aSBL0040413 950 0$aBiblioteca umanistica Giorgio Aprea$d 52DFV I 8$e 52BUN0000102505 VMB RS Dedica su frontespizio.$fA $h20150904$i20150904 977 $a 52 996 $aFighting angel$93635672 997 $aUNICAS