phone 571 999 090
LIBRISTO 0
Free delivery for purchases over 1 299 Kč
PPL Parcel Shop 54 Kč Czech Post 74 Kč Balíkovna 49 Kč GLS point 54 Kč Zásilkovna 44 Kč GLS courier 74 Kč PPL courier 99 Kč
phone Contact phoneHow to shop

Automated Deduction in Geometry

Language EnglishEnglish
Book Paperback
Book Automated Deduction in Geometry Francisco Botana
Libristo code: 09366242
Publishers Springer International Publishing AG, July 2015
This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Wo... Full description
? points 127 b
1 268 Kč včetně DPH
Low in stock at our supplier Shipping in 13-16 days

30-day return policy

You might also be interested in

Bonjour London Marin Montagut / Paperback
common.buy 315 Kč
Race Talk Pierre W. Orelus / Hardback
common.buy 2 930 Kč
Wired/Wireless Internet Communications Boubaker Daachi / Paperback
common.buy 1 540 Kč
Beyond the Cherokee Trail Lisa Carter / Paperback
common.buy 387 Kč
National 5 Practical Woodworking Study Guide Natalie Foulds / Paperback
common.buy 560 Kč
Botanik der alten Griechen und Römer Harald Othmar Lenz / Paperback
common.buy 1 121 Kč
Digest Of The Criminal Law Of Canada George Wheelock Burbidge / Hardback
common.buy 1 093 Kč
Trauern heisst lieben Marietta Rohner / Paperback
common.buy 443 Kč
Instant Harmonica / Paperback
common.buy 953 Kč
Ad Astra Per Aspera Henry Westwood / Paperback
common.buy 746 Kč
Hegel Croyant Et Penseur de la Religion Boucounta Seye / Paperback
common.buy 491 Kč

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.

About the book

Full name Automated Deduction in Geometry
Author Francisco Botana, Pedro Quaresma
Language English
Binding Book - Paperback
Date of issue 2015
Number of pages 181
EAN 9783319213613
ISBN 331921361X
Libristo code 09366242
Publishers Springer International Publishing AG
Weight 2993
Dimensions 155 x 235 x 10

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Mathematics & Science > Mathematics > Geometry > Analytic geometry
Computing & Information Technology > Computer science > Mathematical theory of computation > Maths for computer scientists
Mathematics & Science > Mathematics > Discrete mathematics
Computing & Information Technology > Computer programming / software engineering > Graphics programming
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account