LEADER 00939nam0-2200313---450- 001 990009973140403321 005 20150605083934.0 010 $a978-88-6680-094-1 035 $a000997314 035 $aFED01000997314 035 $a(Aleph)000997314FED01 035 $a000997314 100 $a20150605d2014----km-y0itay50------ba 101 0 $aita 102 $aIT 105 $aa-------001yy 200 1 $a<>drago cinese e l'aquila americana sullo scacchiere asiatico$fa cura di Michelguglielmo Torri e Nicola Mocci 210 $aBologna$cEmil$d2014 215 $a463 p.$ctab.$d21 cm 300 $aIn testa al front.: Asia maior, Osservatorio italiano sull'Asia 2013 676 $a327.51$v22$zita 702 1$aTorri,$bMichelguglielmo 702 1$aMocci,$bNicola 801 0$aIT$bUNINA$gREICAT$2UNIMARC 901 $aBK 912 $a990009973140403321 952 $aXIII B 927$b197/2015$fFSPBC 959 $aFSPBC 997 $aUNINA LEADER 01068cam0-22003131i-450- 001 990006067810403321 005 19980601 010 $a88-14-02709-9 035 $a000606781 035 $aFED01000606781 035 $a(Aleph)000606781FED01 035 $a000606781 100 $a19980601d1991----km-y0itay50------ba 101 0 $aita 102 $aIT 105 $ay---n---001yy 200 1 $aCodice dell'amministrazione e della contabilità generale dello Stato$eannotato con la giurisprudenza e integrato con istruzioni e circolari ministeriali$iCodice dell'amministrazione e della contabilità generale dello Stato$f[a cura di] Vittorio Rebuffat 210 $aMilano$cGiuffrè$d1991 215 $aLXIII, 3059 p.$d20 cm 676 $a342$v20$zita 702 1$aRebuffat,$bVittorio 710 01$aItalia$0423419 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990006067810403321 952 $aXVIII 179$b15669*$fFGBC 959 $aFGBC 996 $aCodice dell'amministrazione e della contabilità generale dello Stato$9186736 997 $aUNINA LEADER 03931nam 22008415 450 001 9910484378903321 005 20251226195127.0 010 $a3-319-21362-8 024 7 $a10.1007/978-3-319-21362-0 035 $a(CKB)3710000000454189 035 $a(SSID)ssj0001558446 035 $a(PQKBManifestationID)16183738 035 $a(PQKBTitleCode)TC0001558446 035 $a(PQKBWorkID)14819075 035 $a(PQKB)10105797 035 $a(DE-He213)978-3-319-21362-0 035 $a(MiAaPQ)EBC6298342 035 $a(MiAaPQ)EBC5586795 035 $a(Au-PeEL)EBL5586795 035 $a(OCoLC)914299706 035 $a(PPN)187688745 035 $a(EXLCZ)993710000000454189 100 $a20150717d2015 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aAutomated Deduction in Geometry $e10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers /$fedited by Francisco Botana, Pedro Quaresma 205 $a1st ed. 2015. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015. 215 $a1 online resource (IX, 181 p. 54 illus.) 225 1 $aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v9201 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-319-21361-X 320 $aIncludes bibliographical references and index. 327 $aStar Unfolding Polygons -- Volume Frameworks and Deformation Varieties -- Recent Advances in Real Geometric Reasoning -- The Relation Tool in GeoGebra -- Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems -- Integrated Circumradius and Area Formulae for Cyclic Pentagons and Hexagons -- Extension of Simson-Wallace Theorem on Skew Quadrilaterals -- Current Status of the I2GATP Common Format -- On Flattenability of Graphs -- Discovering Geometric Theorems from Scanned and Photographed Images of Diagrams -- Combinatorial Rigidity and Independence of Generalized Pinned Subspace-Incidence Constraint Systems. 330 $aThis book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Automated Deduction in Geometry, ADG 2014, held in Coimbra, Portugal, in July 2014. The 11 revised full papers presented in this volume were carefully selected from 20 submissions. The papers show the trend set of current research in automated reasoning in geometry. 410 0$aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v9201 606 $aArtificial intelligence 606 $aComputer graphics 606 $aMachine theory 606 $aComputer science$xMathematics 606 $aDiscrete mathematics 606 $aSoftware engineering 606 $aArtificial Intelligence 606 $aComputer Graphics 606 $aFormal Languages and Automata Theory 606 $aSymbolic and Algebraic Manipulation 606 $aDiscrete Mathematics in Computer Science 606 $aSoftware Engineering 615 0$aArtificial intelligence. 615 0$aComputer graphics. 615 0$aMachine theory. 615 0$aComputer science$xMathematics. 615 0$aDiscrete mathematics. 615 0$aSoftware engineering. 615 14$aArtificial Intelligence. 615 24$aComputer Graphics. 615 24$aFormal Languages and Automata Theory. 615 24$aSymbolic and Algebraic Manipulation. 615 24$aDiscrete Mathematics in Computer Science. 615 24$aSoftware Engineering. 676 $a516.00285 702 $aBotana$b Francisco$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aQuaresma$b Pedro$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484378903321 996 $aAutomated Deduction in Geometry$9772173 997 $aUNINA