Książka Automated Deduction in Geometry Jacques Fleuriot

Automated Deduction in Geometry

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

Język: Angielski
Oprawa: Miękka
Wydawca: Springer, Berlin
Dostępność: Dostępna u dostawcy
Wysyłamy za 5-8 dni
197.29
This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Wor...

Informacje o książce

Język
Angielski
Oprawa
Książka - Miękka
Data wydania
2013
strony
193
EAN
9783642406713
ISBN
3642406718
Enbook ID
02016955
Waga
320
Wymiary
154 x 237 x 12

Pełny opis

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.

Możesz być zainteresowany

299.43
57.79

Menopause Yoga

Petra Coveney
155.60
1 061.97

Drenching Wet

Lutheia Gadson
54.06
2 074.31

The Brown Brethren

Patrick MacGill
42.85

Local Tribes

Thomas Hansen Hickenbottom
65.75

My Brother Yves

Pierre Loti
115.60

CFDs Made Simple

Peter Temple
76.18

Calcium Channel Pharmacology

Stefan I. McDonough
640.74
508.42

You Killed Me!

Keith Gray
31.94

Behavioral Pediatrics

Dennis C. Russo
513.43

Empire, Development and Colonialism

Mark Duffield & Vernon Hewitt
141.74

Klienci, którzy kupili tę książkę, kupili również

Black Paradox

Jens Ossa
63.50

Zlodějky vody

Slávka Poberová
14.74
102.42
78.54

Georg Venlot

Julius Mosen
56.12

Amparo: Memorias de un loco

Manuel Fernandez y Gonzalez
31.54