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

LEADER 01003nam0 22002651i 450 
001 UON00319136
005 20231205104132.787
100   $a20090113d1951       |0itac50      ba
101   $afre
102   $aFR
105   $a||||    1||||
200 1 $aThiers et Méhémet-Ali$fFrançois Charles-Roux
210   $aParis$cLibrairie Plon$d1951
215   $a334 p.$d20 cm.
606   $aMu?ammad ?Al? (Khedive d'Egitto ; 1769-1849)$3UONC024697$2FI
606   $aTHIERS MARIE JOSEPH LUOIS ADOLPHE$3UONC070274$2FI
620   $aFR$dParis$3UONL002984
700  1$aCharles-Roux$bFrançois$3UONV024675$00
712   $aLibrairie Plon$3UONV248688$4650
801   $aIT$bSOL$c20240220$gRICA
899   $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$2UONSI
912   $aUON00319136
950   $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI FONDO NAP NAPOLITANO                          1483                $eSI MR 36737    5        1483                
996   $aThiers et Méhémet-Ali$91372327
997   $aUNIOR