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

Algebraische Geometrie

3  Treffer  für „Lecture Notes in Artificial Intelligence“


    Recio / Botana Automated Deduction in Geometry

    6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006, Revised Papers
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-77355-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Winkler Automated Deduction in Geometry

    4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-20927-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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