LEADER 04270nam 22007695 450 001 996465903803316 005 20200704042302.0 010 $a3-540-45410-1 024 7 $a10.1007/3-540-45410-1 035 $a(CKB)1000000000211415 035 $a(SSID)ssj0000321530 035 $a(PQKBManifestationID)11232824 035 $a(PQKBTitleCode)TC0000321530 035 $a(PQKBWorkID)10262912 035 $a(PQKB)11016700 035 $a(DE-He213)978-3-540-45410-6 035 $a(MiAaPQ)EBC3073114 035 $a(PPN)155214993 035 $a(EXLCZ)991000000000211415 100 $a20121227d2001 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aAutomated Deduction in Geometry$b[electronic resource] $eThird International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers /$fedited by Jürgen Richter-Gebert, Dongming Wang 205 $a1st ed. 2001. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2001. 215 $a1 online resource (VIII, 328 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v2061 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-42598-5 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aOn Spatial Constraint Solving Approaches -- A Hybrid Method for Solving Geometric Constraint Problems -- Solving the Birkhoff Interpolation Problem via the Critical Point Method: An Experimental Study -- A Practical Program of Automated Proving for a Class of Geometric Inequalities -- Randomized Xero Testing of Radical Expressions and Elementary Geometry Theorem Proving -- Algebraic and Semialgebraic Proofs: Methods and Paradoxes -- Remarks on Geometric Theorem Proving -- The Kinds of Truth of Geometry Theorems -- A Complex Change of Variables for Geometrical Reasoning -- Reasoning about Surfaces Using Differential Zero and Ideal Decomposition -- Effective Methods in Computational Synthetic Geometry -- Decision Complexity in Dynamic Geometry -- Automated Theorem Proving in Incidence Geometry ? A Bracket Algebra Based Elimination Method -- Qubit Logic, Algebra and Geometry -- Nonstandard Geometric Proofs -- Emphasizing Human Techniques in Automated Geometry Theorem Proving: A Practical Realization -- Higher-Order Intuitionistic Formalization and Proofs in Hilbert?s Elementary Geometry. 410 0$aLecture Notes in Artificial Intelligence ;$v2061 606 $aArtificial intelligence 606 $aGeometry 606 $aApplication software 606 $aComputer graphics 606 $aMathematical logic 606 $aPattern recognition 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aGeometry$3https://scigraph.springernature.com/ontologies/product-market-codes/M21006 606 $aComputer Applications$3https://scigraph.springernature.com/ontologies/product-market-codes/I23001 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 $aPattern Recognition$3https://scigraph.springernature.com/ontologies/product-market-codes/I2203X 615 0$aArtificial intelligence. 615 0$aGeometry. 615 0$aApplication software. 615 0$aComputer graphics. 615 0$aMathematical logic. 615 0$aPattern recognition. 615 14$aArtificial Intelligence. 615 24$aGeometry. 615 24$aComputer Applications. 615 24$aComputer Graphics. 615 24$aMathematical Logic and Formal Languages. 615 24$aPattern Recognition. 676 $a516/.00285 702 $aRichter-Gebert$b Jürgen$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 $a996465903803316 996 $aAutomated Deduction in Geometry$9772173 997 $aUNISA LEADER 02144oam 2200565 450 001 9910708357903321 005 20180221164227.0 035 $a(CKB)3460000000104589 035 $a(OCoLC)797892518$z(OCoLC)654129851$z(OCoLC)654330072$z(OCoLC)1011937118$z(OCoLC)1022035745 035 $a(EXLCZ)993460000000104589 100 $a20120630d1997 ua 0 101 0 $aeng 135 $aurbn||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aAbuse of taxpayer funds to subsidize lobbying and political activity $ehearings before the Subcommittee on National Economic Growth, Natural Resources, and Regulatory Affairs of the Committee on Government Reform and Oversight, House of Representatives, One Hundred Fourth Congress, first session, June 29 ; July 28 ; and August 2, 1995 210 1$aWashington :$cU.S. Government Printing Office,$d1997. 215 $a1 online resource (iv, 403 pages) $cillustrations 320 $aIncludes bibliographical references. 517 $aAbuse of taxpayer funds to subsidize lobbying and political activity 606 $aLobbying$zUnited States$xFinance 606 $aNonprofit organizations$xPolitical activity$zUnited States 606 $aGrants-in-aid$zUnited States 606 $aGrants-in-aid$2fast 606 $aLobbying$xFinance$2fast 606 $aNonprofit organizations$xPolitical activity$2fast 607 $aUnited States$2fast 608 $aLegislative hearings.$2lcgft 615 0$aLobbying$xFinance. 615 0$aNonprofit organizations$xPolitical activity 615 0$aGrants-in-aid 615 7$aGrants-in-aid. 615 7$aLobbying$xFinance. 615 7$aNonprofit organizations$xPolitical activity. 801 0$bOCLCE 801 1$bOCLCE 801 2$bOCLCO 801 2$bOCLCQ 801 2$bOCLCF 801 2$bOCLCQ 801 2$bOCLCO 801 2$bOCLCQ 801 2$bNJR 801 2$bOCLCQ 801 2$bGPO 906 $aBOOK 912 $a9910708357903321 996 $aAbuse of taxpayer funds to subsidize lobbying and political activity$93468670 997 $aUNINA