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

Mathematik | Informatik

2  Treffer  für „McCune, William“
Alle Filter löschen
    McCune | Automated Deduction - CADE-14 | Buch | Sack Fachmedien

    McCune Automated Deduction - CADE-14

    14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Proceedings
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63104-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    McCune / Padmanabhan | Automated Deduction in Equational Logic and Cubic Curves | Buch | Sack Fachmedien

    McCune / Padmanabhan Automated Deduction in Equational Logic and Cubic Curves

    Erscheinungsjahr 1996
    Verlag: Springer
    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