LEADER 03885nam  22008175  450 
001 996465939703316
005 20200705223609.0
010   $a3-642-25070-X
024 7 $a10.1007/978-3-642-25070-5
035   $a(CKB)3400000000024066
035   $a(SSID)ssj0000609203
035   $a(PQKBManifestationID)11406500
035   $a(PQKBTitleCode)TC0000609203
035   $a(PQKBWorkID)10609685
035   $a(PQKB)10133502
035   $a(DE-He213)978-3-642-25070-5
035   $a(MiAaPQ)EBC6299174
035   $a(MiAaPQ)EBC5585720
035   $a(Au-PeEL)EBL5585720
035   $a(OCoLC)1066184768
035   $a(PPN)15751093X
035   $a(EXLCZ)993400000000024066
100   $a20111109d2011      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aAutomated Deduction in Geometry$b[electronic resource] $e8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Papers /$fedited by Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert
205   $a1st ed. 2011.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2011.
215   $a1 online resource (X, 259 p.) 
225 1 $aLecture Notes in Artificial Intelligence ;$v6877
300   $aRevised conference papers.
311   $a3-642-25069-6 
320   $aIncludes bibliographical references and index.
330   $aThis book constitutes the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Automated Deduction in Geometry, ADG 2010, held in Munich, Germany in July 2010. The 13 revised full papers presented were carefully selected during two rounds of reviewing and improvement from the lectures given at the workshop. Topics addressed by the papers are incidence geometry using some kind of combinatoric argument; computer algebra; software implementation; as well as logic and proof assistants.
410  0$aLecture Notes in Artificial Intelligence ;$v6877
606   $aArtificial intelligence
606   $aComputer graphics
606   $aMathematical logic
606   $aComputer science?Mathematics
606   $aSoftware engineering
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   $aSymbolic and Algebraic Manipulation$3https://scigraph.springernature.com/ontologies/product-market-codes/I17052
606   $aDiscrete Mathematics in Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/I17028
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
615  0$aArtificial intelligence.
615  0$aComputer graphics.
615  0$aMathematical logic.
615  0$aComputer science?Mathematics.
615  0$aSoftware engineering.
615 14$aArtificial Intelligence.
615 24$aComputer Graphics.
615 24$aMathematical Logic and Formal Languages.
615 24$aSymbolic and Algebraic Manipulation.
615 24$aDiscrete Mathematics in Computer Science.
615 24$aSoftware Engineering.
676   $a516.00285
702   $aSchreck$b Pascal$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aNarboux$b Julien$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aRichter-Gebert$b Jürgen$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996465939703316
996   $aAutomated Deduction in Geometry$9772173
997   $aUNISA