Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Automated Deduction in Geometry

Name: Automated Deduction in Geometry
Brand: Springer, Berlin
SKU: 02016955
Price: 18730 HUF
Availability: InStock
Author: Jacques Fleuriot
ISBN: 9783642406713

9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers

Jacques Fleuriot

Tetsuo Ida

Language

English

Book Paperback

Libristo code: 02016955

Publishers Springer, Berlin, November 2012

This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Wor... Full description

Libristo code: 02016955

125 b

18 730 Ft

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Black Paradox Jens Ossa

Hardback

6 100 Ft

Zlodějky vody Slávka Poberová

Paperback

1 290 Ft

Beiträge zur Biologie der Pflanzen Ferdinand Cohn

Paperback

8 930 Ft

Résurrection (La Saga du Soleil Noir, Tome 4) Eric Giacometti

Paperback

5 094 Ft

La libertad religiosa en España y Argentina MARTIN SANCHEZ

Paperback

18 310 Ft

Womit handeln Banken? Dirk Baecker

Paperback

6 847 Ft

spannungsvolle Verhaltnis von Journalismus und PR Catrin Knußmann

Paperback

14 175 Ft

Georg Venlot Julius Mosen

Paperback

5 349 Ft

Amparo: Memorias de un loco Manuel Fernandez y Gonzalez

Paperback

2 982 Ft

Die Chinesische Dreikielschildkröte Thomas Hofmann

Paperback

6 384 Ft

This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Automated Deduction in Geometry, ADG 2012, held in Edinburgh, UK, in September 2012. The 10 revised full papers presented together with 2 invited papers were carefully selected during two rounds of reviewing and improvement from the lectures given at the workshop. The conference represents a forum to exchange ideas and views, to present research results and progress, and to demonstrate software tools at the intersection between geometry and automated deduction; the scope of the ADG 2012 moreover has been expanded to cover topics in dynamic geometry.

Actress & Polyglot

EWA KASP for

Play video

Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Automated Deduction in Geometry

Author Jacques Fleuriot, Tetsuo Ida

Language

English

Binding Book - Paperback

Date of issue 2013

Number of pages 193

EAN 9783642406713

ISBN 3642406718

Libristo code 02016955

Publishers Springer, Berlin

Weight 320

Dimensions 154 x 237 x 12

You might also be interested in

Screenplay Business Peter Bloore

Paperback

27 991 Ft

An Introduction to English Phonetics Ogden

Paperback

9 247 Ft

Paddington's Guide to London Michael Bond

Paperback

5 377 Ft

Menopause Yoga Petra Coveney

Paperback

14 279 Ft

Hazardous Waste Management Deepti Yadav

Paperback

98 773 Ft

Drenching Wet Lutheia Gadson

Paperback

5 094 Ft

Prehistory in Northeastern Arabia Abdullah Hassan Masry

Hardback

193 963 Ft

The Brown Brethren Patrick MacGill

Paperback

4 045 Ft

Everybody Up: Level 5: Teacher's Book Pack with DVD, Online Practice and Teacher's Resource Center CD-ROM Patrick Jackson

Paperback

28 979 Ft

British Shorthair Cats, The Complete Owners Guide to British Shorthair Cats and Kittens Including British Blue, Buying, Daily Care, Personality, Tempe Colette Anderson

Paperback

5 349 Ft