LEADER 00819nam0-22002771i-450- 001 990007742720403321 035 $a000774272 035 $aFED01000774272 035 $a(Aleph)000774272FED01 035 $a000774272 100 $a20021010d--------km-y0itay50------ba 101 0 $aita 200 1 $a<>disciplina della nautica da diporto$enormativa speciale fiscale valutaria sanzionatoria e complementare$fOsvaldoCucuzza. 205 $a$a 210 $aFirenze$cLaurus Robuffo$d1982. 215 $a615 p.$d23 cm 676 $a343.096 700 1$aCucuzza,$bOsvaldo$0278551 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990007742720403321 952 $a29-C-248$b2370 NAV.$fDDCP 959 $aDDCP 996 $aDisciplina della nautica da diporto$9665490 997 $aUNINA DB $aGEN01 LEADER 04191nam 22007935 450 001 996466121303316 005 20200701070648.0 010 $a3-540-31363-X 024 7 $a10.1007/11615798 035 $a(CKB)1000000000232772 035 $a(SSID)ssj0000316397 035 $a(PQKBManifestationID)11275354 035 $a(PQKBTitleCode)TC0000316397 035 $a(PQKBWorkID)10264752 035 $a(PQKB)10707349 035 $a(DE-He213)978-3-540-31363-2 035 $a(MiAaPQ)EBC3068302 035 $a(PPN)123130670 035 $a(EXLCZ)991000000000232772 100 $a20100323d2006 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aAutomated Deduction in Geometry$b[electronic resource] $e5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers /$fedited by Hoon Hong, Dongming Wang 205 $a1st ed. 2006. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2006. 215 $a1 online resource (X, 213 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v3763 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-31332-X 320 $aIncludes bibliographical references and index. 327 $aMechanical Theorem Proving in Computational Geometry -- Computational Origami Construction of a Regular Heptagon with Automated Proof of Its Correctness -- Proving Geometric Theorems by Partitioned-Parametric Gröbner Bases -- Computations of the Area and Radius of Cyclic Polygons Given by the Lengths of Sides -- Symbolic Solution of a Piano Movers? Problem with Four Parameters -- Computing Curves Bounding Trigonometric Planar Maps: Symbolic and Hybrid Methods -- Towards Solving the Dynamic Geometry Bottleneck Via a Symbolic Approach -- On the Decidability of Tracing Problems in Dynamic Geometry -- Towards a Geometric-Object-Oriented Language -- Spatial Planning and Geometric Optimization: Combining Configuration Space and Energy Methods -- nD Polyhedral Scene Reconstruction from Single 2D Line Drawing by Local Propagation -- Planar Generalized Stewart Platforms and Their Direct Kinematics. 410 0$aLecture Notes in Artificial Intelligence ;$v3763 606 $aArtificial intelligence 606 $aMathematical logic 606 $aComputer science?Mathematics 606 $aComputer graphics 606 $aPattern recognition 606 $aConvex geometry  606 $aDiscrete geometry 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 $aDiscrete Mathematics in Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/I17028 606 $aComputer Graphics$3https://scigraph.springernature.com/ontologies/product-market-codes/I22013 606 $aPattern Recognition$3https://scigraph.springernature.com/ontologies/product-market-codes/I2203X 606 $aConvex and Discrete Geometry$3https://scigraph.springernature.com/ontologies/product-market-codes/M21014 615 0$aArtificial intelligence. 615 0$aMathematical logic. 615 0$aComputer science?Mathematics. 615 0$aComputer graphics. 615 0$aPattern recognition. 615 0$aConvex geometry . 615 0$aDiscrete geometry. 615 14$aArtificial Intelligence. 615 24$aMathematical Logic and Formal Languages. 615 24$aDiscrete Mathematics in Computer Science. 615 24$aComputer Graphics. 615 24$aPattern Recognition. 615 24$aConvex and Discrete Geometry. 676 $a516.00285 702 $aHong$b Hoon$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aWang$b Dongming$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aInternational Workshop on Automated Deduction in Geometry 906 $aBOOK 912 $a996466121303316 996 $aAutomated Deduction in Geometry$9772173 997 $aUNISA