Ergebnisse filtern
Fachgebiet
Medium
  • 3
Erscheinungsjahr
  • 1
  • 1
  • 1
Autoren
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Verlag
  • 2
  • 1
Preis
  • 1
  • 2
Sprachen
  • 3
Verfügbarkeit
  • 3
Katalog
  • 3

Geometrie

3  Treffer  für „Lecture Notes in Artificial Intelligence“
    Hong / Wang | Automated Deduction in Geometry | Buch | Sack Fachmedien

    Hong / Wang Automated Deduction in Geometry

    5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-31332-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fleuriot / Ida | Automated Deduction in Geometry | Buch | Sack Fachmedien

    Fleuriot / Ida Automated Deduction in Geometry

    9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
    2013
    Verlag: Springer
    ISBN: 978-3-642-40671-3
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Padmanabhan / McCune | Automated Deduction in Equational Logic and Cubic Curves | Buch | Sack Fachmedien

    Padmanabhan / McCune Automated Deduction in Equational Logic and Cubic Curves

    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61398-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular