Zum Hauptinhalt springen
Nicht aus der Schweiz? Besuchen Sie lehmanns.de

Ergebnisse zu
Logik / Mengenlehre

Ernst Zermelo - Collected Works/Gesammelte Werke II
Volume II/Band II - Calculus of Variations, Applied Mathematics, and Physics/Variationsrechnung, Angewandte Mathematik und Physik
von Ernst Zermelo; Heinz-Dieter Ebbinghaus; Akihiro..
Buch | Softcover
2015 | Springer Berlin
ISBN: 9783642432316
CHF 299,55 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-15 Tagen
Automation of Reasoning
Classical Papers on Computational Logic 1957–1966
von J. Siekmann; G. Wrightson
Buch | Softcover
2012 | Springer Berlin
ISBN: 9783642819544
CHF 149,75 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-15 Tagen
New Computational Paradigms
Changing Conceptions of What is Computable
von S.B. Cooper; Benedikt Löwe; Andrea Sorbi
Buch | Hardcover
2007 | Springer-Verlag New York Inc.
ISBN: 9780387360331
CHF 259,95 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Papers in Honour of Bernhard Banaschewski
Proceedings of the BB Fest 96, a Conference Held at the University of Cape Town, 15–20 July 1996, on Category Theory and its Applications to..
von Guillaume Brümmer; Christopher Gilmour
Buch | Hardcover
2000 | Kluwer Academic Publishers
ISBN: 9780792365198
CHF 224,65 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Frontiers of Combining Systems
Third International Workshop, FroCoS 2000 Nancy, France, March 22-24, 2000 Proceedings
von Helene Kirchner; Christophe Ringeissen
Buch | Softcover
2000 | Springer Berlin
ISBN: 9783540672814
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Mathematics Mechanization
Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving and Polynomial Equations-Solving
von WU WEN-TSUN
Buch | Hardcover
2001 | Kluwer Academic Publishers
ISBN: 9780792358350
CHF 149,75 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Fuzzy Set Theory
Basic Concepts, Techniques and Bibliography
von R. Lowen
Buch | Hardcover
1996 | Kluwer Academic Publishers
ISBN: 9780792340577
CHF 149,75 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Automated Deduction - CADE-11
11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992. Proceedings
von Deepak Kapur
Buch | Softcover
1992 | Springer Berlin
ISBN: 9783540556022
CHF 149,75 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Category Theory
Proceedings of the International Conference held in Como, Italy, July 22-28, 1990
von Aurelio Carboni; Maria C. Pedicchio; Giuseppe..
Buch | Softcover
1991 | Springer Berlin
ISBN: 9783540547068
CHF 82,35 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Fuzzy Databases
Principles and Applications
von Frederick E. Petry
Buch | Hardcover
1995 | Kluwer Academic Publishers
ISBN: 9780792396673
CHF 149,75 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen
Ordered Algebraic Structures
Proceedings of the Curaçao Conference, sponsored by the Caribbean Mathematics Foundation, June 26–30, 1995
von W.C. Holland; Jorge Martínez
Buch | Hardcover
1997 | Kluwer Academic Publishers
ISBN: 9780792343776
CHF 224,65 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-14 Tagen