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

Technische Wissenschaften

1  Treffer  für „Windsteiger, Wolfgang“
Alle Filter löschen
    Kauers / Windsteiger / Kerber | Towards Mechanized Mathematical Assistants | Buch | Sack Fachmedien

    Kauers / Windsteiger / Kerber Towards Mechanized Mathematical Assistants

    14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-73083-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