Automated Deduction in Geometry: Lecture Notes in Computer Science, cartea 9201
Editat de Francisco Botana, Pedro Quaresmaen Limba Engleză Paperback – 27 iul 2015
Din seria Lecture Notes in Computer Science
- 20%
Preț: 558.53 lei - 20%
Preț: 571.88 lei - 20%
Preț: 675.83 lei - 20%
Preț: 1020.28 lei - 20%
Preț: 620.33 lei - 20%
Preț: 560.93 lei - 20%
Preț: 633.70 lei - 20%
Preț: 678.21 lei - 20%
Preț: 1359.66 lei - 20%
Preț: 560.93 lei - 20%
Preț: 733.68 lei - 20%
Preț: 793.92 lei - 15%
Preț: 558.12 lei - 20%
Preț: 793.92 lei - 20%
Preț: 560.93 lei - 20%
Preț: 748.63 lei - 20%
Preț: 562.49 lei - 20%
Preț: 1246.46 lei - 20%
Preț: 449.81 lei - 20%
Preț: 556.96 lei - 20%
Preț: 562.49 lei - 20%
Preț: 851.78 lei - 20%
Preț: 313.10 lei - 18%
Preț: 945.44 lei - 20%
Preț: 314.86 lei - 20%
Preț: 560.93 lei - 20%
Preț: 313.87 lei - 20%
Preț: 1033.45 lei - 20%
Preț: 563.29 lei - 20%
Preț: 733.68 lei - 20%
Preț: 1137.10 lei - 20%
Preț: 735.28 lei - 20%
Preț: 1079.23 lei - 20%
Preț: 560.11 lei - 20%
Preț: 791.54 lei - 15%
Preț: 672.87 lei - 20%
Preț: 1032.47 lei - 20%
Preț: 617.17 lei - 20%
Preț: 1022.15 lei - 20%
Preț: 984.64 lei - 20%
Preț: 620.33 lei - 20%
Preț: 979.25 lei - 20%
Preț: 402.28 lei - 20%
Preț: 316.28 lei - 20%
Preț: 636.06 lei - 20%
Preț: 320.24 lei - 20%
Preț: 328.94 lei
Preț: 261.76 lei
Preț vechi: 327.19 lei
-20%
Puncte Express: 393
Preț estimativ în valută:
46.28€ • 53.49$ • 39.99£
46.28€ • 53.49$ • 39.99£
Carte tipărită la comandă
Livrare economică 04-18 mai
Specificații
ISBN-13: 9783319213613
ISBN-10: 331921361X
Pagini: 192
Ilustrații: IX, 181 p. 54 illus.
Dimensiuni: 155 x 235 x 11 mm
Greutate: 0.3 kg
Ediția:1st edition 2015
Editura: Springer
Colecția Lecture Notes in Computer Science
Seria Lecture Notes in Computer Science
Locul publicării:Cham, Switzerland
ISBN-10: 331921361X
Pagini: 192
Ilustrații: IX, 181 p. 54 illus.
Dimensiuni: 155 x 235 x 11 mm
Greutate: 0.3 kg
Ediția:1st edition 2015
Editura: Springer
Colecția Lecture Notes in Computer Science
Seria Lecture Notes in Computer Science
Locul publicării:Cham, Switzerland
V-ar putea interesa
-
Visual Database Systems 3Stefano Spaccapietra-20%Preț: 1244.11 lei1555.13 lei -
Design Principles for Interactive SoftwareGilbert Cockton-20%Preț: 627.84 lei784.80 lei -
Ethics of ComputingJacques J. Berleur-20%Preț: 958.04 lei1197.55 lei -
Diffusion and Adoption of Information TechnologyKarlheinz Kautz-20%Preț: 955.16 lei1193.94 lei -
Life Cycle NetworksG. Seliger-20%Preț: 1243.09 lei1553.87 lei -
An Ethical Global Information SocietyJacques J. Berleur-20%Preț: 1234.81 lei1543.51 lei -
The Construction of Cognitive MapsJuval Portugali-20%Preț: 959.88 lei1199.85 lei -
-20%Preț: 955.24 lei1194.06 lei -
-20%Preț: 627.43 lei784.28 lei -
TetrobotGregory J Hamlin-20%Preț: 953.05 lei1191.31 lei -
-20%Preț: 626.38 lei782.98 lei -
Rough Sets and Data MiningN. Cercone-20%Preț: 963.41 lei1204.27 lei -
Neural Networks and Fuzzy SystemsShigeo Abe-20%Preț: 628.65 lei785.81 lei -
Interleaving Planning and Execution for Autonomous RobotsIllah Reza Nourbakhsh-20%Preț: 622.31 lei777.89 lei -
Reasoning with Complex CasesFriedrich Gebhardt-20%Preț: 1226.84 lei1533.55 lei -
Mathematics of Neural NetworksStephen W Ellacott-20%Preț: 1238.33 lei1547.91 lei -
Machine Learning: ECML 2003Nada Lavra¿-20%Preț: 635.55 lei794.44 lei -
Utilizing Problem Structure in PlanningJörg Hoffmann-20%Preț: 320.50 lei400.63 lei -
Learning Classifier SystemsPier Luca Lanzi-20%Preț: 319.28 lei399.10 lei -
Developing Industrial Case-Based Reasoning ApplicationsRalph Bergmann-20%Preț: 320.14 lei400.17 lei -
Advances in Agent CommunicationFrank Dignum-20%Preț: 328.29 lei410.37 lei -
-20%Preț: 958.95 lei1198.69 lei -
Communication in Multiagent SystemsMarc-Phillipe Huget-20%Preț: 324.02 lei405.03 lei -
Anticipatory Behavior in Adaptive Learning SystemsMartin V. Butz-20%Preț: 322.99 lei403.74 lei -
-20%Preț: 366.60 lei458.25 lei -
Learning Theory and Kernel MachinesBernhard Schölkopf-20%Preț: 647.86 lei809.82 lei -
Soft Computing in Engineering Design and ManufacturingPravir K. Chawdhry-20%Preț: 643.33 lei804.17 lei -
Automated Deduction in GeometryFrancisco BotanaPreț: 371.93 lei -
Die „künstliche Seele“: Analyse einer TheorieKatrin Hille-20%Preț: 294.32 lei367.90 lei
Public țintă
ResearchCuprins
Star Unfolding Polygons.- Volume Frameworks and Deformation Varieties.- Recent Advances in Real Geometric Reasoning.- The Relation Tool in GeoGebra.- Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems.- Integrated Circumradius and Area Formulae for Cyclic Pentagons and Hexagons.- Extension of Simson-Wallace Theorem on Skew Quadrilaterals.- Current Status of the I2GATP Common Format.- On Flattenability of Graphs.- Discovering Geometric Theorems from Scanned and Photographed Images of Diagrams.- Combinatorial Rigidity and Independence of Generalized Pinned Subspace-Incidence Constraint Systems.
Textul de pe ultima copertă
This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Automated Deduction in Geometry, ADG 2014, held in Coimbra, Portugal, in July 2014. The 11 revised full papers presented in this volume were carefully selected from 20 submissions. The papers show the trend set of current research in automated reasoning in geometry.
Caracteristici
Includes supplementary material: sn.pub/extras