Seite 1 von 1
Anzahl pro Seite
Sortiert nach
Produkte: 3 Seite 1 von 1 Filter
Bertot / Dowek / Hirschowitz

Theorem Proving in Higher Order Logics  

Theorem Proving in Higher Order Logics
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Bertot / Dowek / Hirschowitz

Theorem Proving in Higher Order Logics

  • Verlag: Springer
  • ISBN: 978-3-540-66463-5 (Buch)
  • Erscheinungstermin: 01.09.1999
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
Messina / Murli

Problems and Methodologies in Mathematical Software Production  

Problems and Methodologies in Mathematical Software Production
24,60 € (inkl. MwSt.) 22,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-540-11603-5 (Buch)
  • Erscheinungstermin: 01.09.1982
  • Lieferzeit ca. 10 Werktage
24,60 € (inkl. MwSt.) 22,99 € (zzgl. MwSt.)
Hong / Yap

Mathematical Software -- ICMS 2014  

Mathematical Software -- ICMS 2014
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • Verlag: Springer
  • ISBN: 978-3-662-44198-5 (Buch)
  • Erscheinungstermin: 15.07.2014
  • Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.) 49,99 € (zzgl. MwSt.)
  • |
  • 1
  • |