LEADER 01425nam2 22002651i 450 001 SUN0053219 005 20070608120000.0 100 $a20060925d1961 |0itac50 ba 101 $aita 102 $aIT 105 $a|||| ||||| 200 1 $aˆ<<‰Catalogo dei manoscritti della Biblioteca Vallicelliana>> 1$fcompilato da Anna Maria Giorgetti Vichi e Sergio Mottironi 210 $aRoma$cIstituto poligrafico dello stato, Libreria dello stato$d1961 215 $aXII, 473 p.$d30 cm. 461 1$1001SUN0053218$12001 $aCatalogo dei manoscritti della Biblioteca Vallicelliana$v1$1205 $aRoma : Istituto Poligrafico dello Stato - Libreria dello Stato$b1961-$1210 $dv. ; 30 cm$1215 $aIn testa al front.: Ministero della Pubblica Istruzione. 620 $dRoma$3SUNL000360 702 1$aGiorgetti Vichi$b, Anna Maria$3SUNV041990 702 1$aMottironi$b, Sergio$3SUNV041991 712 $aIstituto poligrafico e Zecca dello Stato$3SUNV000329$4650 801 $aIT$bSOL$c20181109$gRICA 912 $aSUN0053219 950 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI LETTERE E BENI CULTURALI$d07 CONS Cd Vallicell 2332 $e07 DP 1075 995 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI LETTERE E BENI CULTURALI$bIT-CE0103$gDP$h1075$kCONS Cd Vallicell 2332$oc$qa 996 $aCatalogo dei manoscritti della Biblioteca Vallicelliana 1$91404922 997 $aUNICAMPANIA LEADER 04261nam 22007935 450 001 996465659303316 005 20200706182400.0 010 $a3-642-21046-5 024 7 $a10.1007/978-3-642-21046-4 035 $a(CKB)2670000000083943 035 $a(SSID)ssj0000530643 035 $a(PQKBManifestationID)11351727 035 $a(PQKBTitleCode)TC0000530643 035 $a(PQKBWorkID)10567741 035 $a(PQKB)10099982 035 $a(DE-He213)978-3-642-21046-4 035 $a(MiAaPQ)EBC3066704 035 $a(PPN)153865393 035 $a(EXLCZ)992670000000083943 100 $a20110503d2011 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aAutomated Deduction in Geometry$b[electronic resource] $e7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008, Revised Papers /$fedited by Thomas Sturm, Christoph Zengler 205 $a1st ed. 2011. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2011. 215 $a1 online resource (IX, 225 p. 68 illus., 22 illus. in color.) 225 1 $aLecture Notes in Artificial Intelligence ;$v6301 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-21045-7 320 $aIncludes bibliographical references and index. 330 $aThis book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Automated Deduction in Geometry, ADG 2008, held in Shanghai, China in September 2008. The 11 revised full papers presented were carefully reviewed and selected from numerous initial submissions for the workshop during two rounds of reviewing and improvement. The papers show the lively variety of topics and methods and the current applicability of automated deduction in geometry to different branches of mathematics such as discrete mathematics, combinatorics, and numerics; symbolic and numeric methods for geometric computation, and geometric constraint solving. Further issues are the design and implementation of geometry software, special-purpose tools, automated theorem provers - in short applications of ADG to mechanics, geometric modeling, CAGD/CAD, computer vision, robotics and education. 410 0$aLecture Notes in Artificial Intelligence ;$v6301 606 $aArtificial intelligence 606 $aComputer graphics 606 $aMathematical logic 606 $aComputer logic 606 $aComputer science?Mathematics 606 $aConvex geometry  606 $aDiscrete geometry 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aComputer Graphics$3https://scigraph.springernature.com/ontologies/product-market-codes/I22013 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aDiscrete Mathematics in Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/I17028 606 $aConvex and Discrete Geometry$3https://scigraph.springernature.com/ontologies/product-market-codes/M21014 615 0$aArtificial intelligence. 615 0$aComputer graphics. 615 0$aMathematical logic. 615 0$aComputer logic. 615 0$aComputer science?Mathematics. 615 0$aConvex geometry . 615 0$aDiscrete geometry. 615 14$aArtificial Intelligence. 615 24$aComputer Graphics. 615 24$aMathematical Logic and Formal Languages. 615 24$aLogics and Meanings of Programs. 615 24$aDiscrete Mathematics in Computer Science. 615 24$aConvex and Discrete Geometry. 676 $a006.3 702 $aSturm$b Thomas$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aZengler$b Christoph$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aInternational Workshop, ADG$d(7th :$f2008 :$eShanghai, China) 906 $aBOOK 912 $a996465659303316 996 $aAutomated Deduction in Geometry$9772173 997 $aUNISA