LEADER 00886nam0-22003011i-450- 001 990005587470403321 005 20080418120535.0 035 $a000558747 035 $aFED01000558747 035 $a(Aleph)000558747FED01 035 $a000558747 100 $a19990604d1957----km-y0itay50------ba 101 0 $aita 105 $aa-------00--- 200 1 $aPittura veneziana del Cinquecento$fa cura di Terisio Pignatti 210 $aBergamo$cIstituto Italiano D'Arti Grafiche$dc1957 215 $a97 p.$cill.$d30 cm 225 1 $aCollana Scrigno 610 0 $aPittura veneziana$aSec. 16. 676 $a759.5311 702 1$aPignatti,$bTerisio$f<1920-2004> 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990005587470403321 952 $a759.531 PIG 1$bST.ARTE 4362$fFLFBC 959 $aFLFBC 996 $aPittura veneziana del Cinquecento$9607823 997 $aUNINA LEADER 03770nam 22007335 450 001 996466251803316 005 20200702153612.0 010 $a3-319-66902-8 024 7 $a10.1007/978-3-319-66902-1 035 $a(CKB)4100000000393624 035 $a(DE-He213)978-3-319-66902-1 035 $a(MiAaPQ)EBC5591040 035 $a(PPN)204533554 035 $a(EXLCZ)994100000000393624 100 $a20170830d2017 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aAutomated Reasoning with Analytic Tableaux and Related Methods$b[electronic resource] $e26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25?28, 2017, Proceedings /$fedited by Renate A. Schmidt, Cláudia Nalon 205 $a1st ed. 2017. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2017. 215 $a1 online resource (XII, 381 p. 75 illus.) 225 1 $aLecture Notes in Artificial Intelligence ;$v10501 311 $a3-319-66901-X 320 $aIncludes bibliographical references and index. 327 $aSequents systems -- Tableaux -- Transitive closure and cyclic proofs -- Formalization and complexity. 330 $aThis book contains the proceedings of the 26th International Conference on Automated Reasoning with Analytics Tableaux and Related Methods, TABLEAUX 2017, held in Brasília, Bazil, in September 2017.  The 19 contributed papers presented in this volume were carefully reviewed and selected from 27 submissions.They are organized in topical sections named: Sequent systems; tableaux; transitive closure and cyclic proofs; formalization and complexity. Also included are papers of three invited speakers. 410 0$aLecture Notes in Artificial Intelligence ;$v10501 606 $aArtificial intelligence 606 $aMathematical logic 606 $aComputer programming 606 $aSoftware engineering 606 $aProgramming languages (Electronic computers) 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 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 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$aProgramming languages (Electronic computers). 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$aProgramming Languages, Compilers, Interpreters. 615 24$aLogics and Meanings of Programs. 676 $a511.36028563 702 $aSchmidt$b Renate A$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aNalon$b Cláudia$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466251803316 996 $aAutomated Reasoning with Analytic Tableaux and Related Methods$9772640 997 $aUNISA LEADER 02259oam 2200577M 450 001 9910716146603321 005 20260430110959.0 035 $a(CKB)5470000002518650 035 $a(OCoLC)1065610224 035 $a(OCoLC)995470000002518650 035 $a(DGPO)001152528 035 $a(EXLCZ)995470000002518650 100 $a20071213d1926 ua 0 101 0 $aeng 135 $aurcn||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aAuthorizing reimbursement to the government of the Philippine Islands for maintaining alien crews. February 22, 1926. -- Committed to the Committee of the Whole House on the State of the Union and ordered to be printed 210 1$a[Washington, D.C.] :$c[U.S. Government Printing Office],$d1926. 215 $a1 online resource (2 pages) 225 1 $aHouse report / 69th Congress, 1st session. House ;$vno. 354 225 1 $a[United States congressional serial set ] ;$v[serial no. 8531] 300 $aBatch processed record: Metadata reviewed, not verified. Some fields updated by batch processes. 300 $aFDLP item number not assigned. 606 $aClaims 606 $aImprisonment 606 $aSubversive activities 606 $aTerritories and possessions 606 $aWorld War, 1914-1918 606 $aNoncitizens$2Change the Subject Project$2Change the Subject Project$2Change the Subject Project 606 $aMerchant mariners 608 $aLegislative materials.$2lcgft 615 0$aClaims. 615 0$aImprisonment. 615 0$aSubversive activities. 615 0$aTerritories and possessions. 615 0$aWorld War, 1914-1918. 615 0$aNoncitizens. 615 0$aMerchant mariners. 701 $aSweet$b Thaddeus C.$f1872-1928$pRepublican (NY)$01392535 801 0$bWYU 801 1$bWYU 801 2$bOCLCO 801 2$bOCLCQ 801 2$bOCLCO 801 2$bOCLCQ 906 $aBOOK 912 $a9910716146603321 996 $aAuthorizing reimbursement to the government of the Philippine Islands for maintaining alien crews. February 22, 1926. -- Committed to the Committee of the Whole House on the State of the Union and ordered to be printed$93470607 997 $aUNINA