Ergebnisse filtern
Fachgebiet
Medium
  • 2
  • 2
Erscheinungsjahr
  • 2
  • 2
Autoren
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
Verlag
  • 4
Preis
  • 4
Sprachen
  • 4
Verfügbarkeit
  • 4
Katalog
  • 4
4  Treffer  für „Wenzel, Makarius“
    Berghofer / Wenzel / Nipkow | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Berghofer / Wenzel / Nipkow Theorem Proving in Higher Order Logics

    22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-03358-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Berghofer / Nipkow / Urban | Theorem Proving in Higher Order Logics | eBook | Sack Fachmedien
    E-Book

    Berghofer / Nipkow / Urban Theorem Proving in Higher Order Logics

    22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-03359-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Jeuring / Campbell / Carette | Intelligent Computer Mathematics | eBook | Sack Fachmedien
    E-Book

    Jeuring / Campbell / Carette Intelligent Computer Mathematics

    11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012, Proceedings
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-3-642-31374-5
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Jeuring / Campbell / Carette | Intelligent Computer Mathematics | Buch | Sack Fachmedien

    Jeuring / Campbell / Carette Intelligent Computer Mathematics

    11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012, Pro
    2012
    Verlag: Springer
    ISBN: 978-3-642-31373-8
    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