LEADER 01717nam 2200577 a 450 001 9910458666703321 005 20200520144314.0 010 $a1-280-91521-8 010 $a9786610915217 010 $a90-474-0543-9 010 $a1-4294-0996-7 035 $a(CKB)1000000000400888 035 $a(OCoLC)191953397 035 $a(CaPaEBR)ebrary10175333 035 $a(SSID)ssj0000267516 035 $a(PQKBManifestationID)11236567 035 $a(PQKBTitleCode)TC0000267516 035 $a(PQKBWorkID)10208370 035 $a(PQKB)10769328 035 $a(MiAaPQ)EBC3003930 035 $a(PPN)231555601 035 $a(Au-PeEL)EBL3003930 035 $a(CaPaEBR)ebr10175333 035 $a(CaONFJC)MIL91521 035 $a(OCoLC)923611211 035 $a(EXLCZ)991000000000400888 100 $a20040304d2004 uy 0 101 0 $aeng 135 $aurcn||||||||| 181 $ctxt 182 $cc 183 $acr 200 10$aViking Rus$b[electronic resource] $estudies on the presence of Scandinavians in Eastern Europe /$fby Wladyslaw Duczko 210 $aLeiden ;$aBoston $cBrill$d2004 215 $a1 online resource (377 p.) 225 1 $aThe Northern world ;$vv. 12 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a90-04-13874-9 320 $aIncludes bibliographical references (p. [259]-280) and index. 410 0$aNorthern world ;$vv. 12. 607 $aKievan Rus$xHistory 608 $aElectronic books. 676 $a947/.02 700 $aDuczko$b Wladyslaw$0779271 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910458666703321 996 $aViking Rus$91670769 997 $aUNINA 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