Ergebnisse zu
Logik / Mengenlehre

Basic Concepts, Techniques and Bibliography
von R. Lowen
Buch | Hardcover
1996 | Springer
ISBN: 9780792340577
106,99 (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992. Proceedings
von Deepak Kapur
Buch | Softcover
1992 | Auflage: 1 | Springer Berlin
ISBN: 9783540556022
106,99 (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Proceedings of the International Conference held in Como, Italy, July 22-28, 1990
von Aurelio Carboni; Maria C. Pedicchio; Giuseppe..
Buch | Softcover
1991 | Auflage: 1 | Springer Berlin
ISBN: 9783540547068
58,84 (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving and Polynomial Equations-Solving
von WU WEN-TSUN
Buch | Hardcover
2001 | Springer
ISBN: 9780792358350
106,99 (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen