Automated Deduction in Geometry 1
bokomslag Automated Deduction in Geometry
Data & IT

Automated Deduction in Geometry

Pascal Schreck • Julien Narboux • Jrgen Richter-Gebert

Pocket

759:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 259 sidor
  • 2011
This book constitutes the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Automated Deduction in Geometry, ADG 2010, held in Munich, Germany in July 2010. The 13 revised full papers presented were carefully selected during two rounds of reviewing and improvement from the lectures given at the workshop. Topics addressed by the papers are incidence geometry using some kind of combinatoric argument; computer algebra; software implementation; as well as logic and proof assistants.
  • Författare: Pascal Schreck, Julien Narboux, Jrgen Richter-Gebert
  • Illustratör: 79 schwarz-weiße Abbildungen
  • Format: Pocket/Paperback
  • ISBN: 9783642250699
  • Språk: Engelska
  • Antal sidor: 259
  • Utgivningsdatum: 2011-11-22
  • Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Du kanske gillar

  1. bokomslag The Marriage of Sense and Thought

    The Marriage of Sense and Thought

    Stephen Edelglass, Georg Maier, Hans Gebert, John Davy

    Pocket

    309:-
  2. bokomslag »Weil ich will halt einfach mein eigenes Ding machen«

    »Weil ich will halt einfach mein eige...

    Erhard Fischer, Christina Kießling, Tina Monár-Gebert

    Pocket

    569:-
  3. bokomslag Automated Deduction in Geometry

    Automated Deduction in Geometry

    Tomas Recio Francisco Botana

    Pocket

    759:-
  4. bokomslag Automated Deduction in Geometry

    Automated Deduction in Geometry

    Xiao-Lu Gao, Dongming Wang, Lu Yang

    Pocket

    779:-
  5. bokomslag Automated Deduction in Geometry

    Automated Deduction in Geometry

    Jacques Fleuriot Tetsuo Ida

    Pocket

    699:-
  6. bokomslag Automated Deduction in Geometry

    Automated Deduction in Geometry

    Dongming Wang Hoon Hong

    Pocket

    759:-
  7. bokomslag C.I. Lewis

    C.I. Lewis

    Quentin Kammer, Jean-Philippe Narboux, Henri Wagner

    Pocket

    799:-
  8. bokomslag Finding Ones Way Through Wittgensteins Philosophical Investigations

    Finding Ones Way Through Wittgenstein...

    Jean-Philippe Narboux Emmanuel Bermon

    Inbunden

    1349:-
  9. bokomslag Automated Deduction in Geometry

    Automated Deduction in Geometry

    Franz Winkler

    Pocket

    759:-
  10. bokomslag C.I. Lewis

    C.I. Lewis

    Quentin Kammer, Jean-Philippe Narboux, Henri Wagner

    Inbunden

    2649:-

Andra av samma författare

  1. bokomslag Realization Spaces of Polytopes

    Realization Spaces of Polytopes

    Jrgen Richter-Gebert

    Pocket

    459:-
  2. bokomslag User Manual for the Interactive Geometry Software Cinderella

    User Manual for the Interactive Geome...

    Ulrich H Kortenkamp Jrgen Richter-Gebert

    Pocket

    759:-
  3. bokomslag Benutzerhandbuch fr die interaktive Geometrie-Software

    Benutzerhandbuch fr die interaktive G...

    Ulrich H Kortenkamp Jrgen Richter-Gebert

    Pocket

    779:-
  4. bokomslag Geometriekalkle

    Geometriekalkle

    Thorsten Orendt Jrgen Richter-Gebert

    Pocket

    499:-
  5. bokomslag Perspectives on Projective Geometry

    Perspectives on Projective Geometry

    Jrgen Richter-Gebert

    Inbunden

    1849:-
  6. bokomslag The Cinderella.2 Manual

    The Cinderella.2 Manual

    Ulrich H Kortenkamp Jrgen Richter-Gebert

    Pocket

    759:-
  7. bokomslag Perspectives on Projective Geometry

    Perspectives on Projective Geometry

    Jrgen Richter-Gebert

    Pocket

    1209:-