Automated Theorem Proving von Wolfgang Bibel Buch | Softcover 1987 | Auflage: 2 | Vieweg & Teubner ISBN: 9783528185206 106,99 € (inkl. MwSt) in den Warenkorb Versand in 7-10 Tagen
Mathematical Logic von J.D. Monk Buch | Hardcover 1976 | Springer-Verlag New York Inc. ISBN: 9780387901701 96,29 € (inkl. MwSt) in den Warenkorb Versand in 7-10 Tagen
Selected Preserver Problems on Algebraic Structures of Linear Operators and on Function.. von L. Molnár Buch | Softcover 2006 | Auflage: 1 | Springer Berlin ISBN: 9783540399445 53,49 € (inkl. MwSt) in den Warenkorb Versand in 7-10 Tagen
Principles of Artificial Intelligence von Nils J. Nilsson Buch | Hardcover 1982 | Auflage: 1 | Springer Berlin ISBN: 9783540113409 85,55 € (inkl. MwSt) in den Warenkorb Versand in 7-10 Tagen
Reasoning with Actual and Potential Contradictions von Dov M. Gabbay; Philippe Smets Buch | Hardcover 1998 | Springer ISBN: 9780792351610 160,49 € (inkl. MwSt) in den Warenkorb Versand in 7-10 Tagen
Descriptive Set Theory and Forcing How to prove theorems about Borel sets the hard way von Arnold Miller Buch | Softcover 1995 | Auflage: 1 | Springer Berlin ISBN: 9783540600596 85,59 € (inkl. MwSt) in den Warenkorb Versand in 7-10 Tagen
Term Indexing von Peter Graf Buch | Softcover 1996 | Auflage: 1 | Springer Berlin ISBN: 9783540610403 53,49 € (inkl. MwSt) in den Warenkorb Versand in 7-10 Tagen
The Theory of Lattice-Ordered Groups von V.M. Kopytov; N.Ya. Medvedev Buch | Hardcover 1994 | Springer ISBN: 9780792331698 106,99 € (inkl. MwSt) in den Warenkorb Versand in 7-10 Tagen
Fuzzy Logic for Planning and Decision Making von Freerk A. Lootsma Buch | Hardcover 1997 | Springer ISBN: 9780792346814 106,99 € (inkl. MwSt) in den Warenkorb Versand in 7-10 Tagen
Henkin-Keisler Models von George Weaver Buch | Hardcover 1997 | Springer ISBN: 9780792343660 53,49 € (inkl. MwSt) in den Warenkorb Versand in 7-10 Tagen
Logical Foundations of Computer Science 4th International Symposium, LFCS'97, Yaroslavl, Russia, July, 6 - 12, 1997, Proceedings von Sergei Adian; Anil Nerode Buch | Softcover 1997 | Auflage: 1 | Springer Berlin ISBN: 9783540630456 53,49 € (inkl. MwSt) in den Warenkorb Versand in 7-10 Tagen
Logic and Computer Science Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 von Steven Homer; Piergiorgio Odifreddi; Anil Nerode;.. Buch | Softcover 1990 | Auflage: 1 | Springer Berlin ISBN: 9783540527343 26,70 € (inkl. MwSt) in den Warenkorb Versand in 7-10 Tagen
9th International Conference on Automated Deduction Argonne, Illinois, USA, May 23-26, 1988. Proceedings von Ewing Lusk; Ross Overbeek Buch | Softcover 1988 | Auflage: 1 | Springer Berlin ISBN: 9783540193432 106,99 € (inkl. MwSt) in den Warenkorb Versand in 7-10 Tagen
Directions in Relevant Logic von J. Norman; R. Sylvan Buch | Hardcover 1989 | Springer ISBN: 9780792303862 85,55 € (inkl. MwSt) jetzt vorbestellen Titel z.Zt. nicht lieferbar
Introduction to Fuzzy Reliability von Kai-Yuan Cai Buch | Hardcover 1996 | Springer ISBN: 9780792397373 160,49 € (inkl. MwSt) in den Warenkorb Versand in 7-10 Tagen
Semigroups and Their Subsemigroup Lattices von L.N. Shevrin; A.J. Ovsyannikov Buch | Hardcover 1996 | Springer ISBN: 9780792342212 106,99 € (inkl. MwSt) in den Warenkorb Versand in 7-10 Tagen
Resolution Methods for the Decision Problem von C. Fermüller; A. Leitsch; Tanel Tammet; Nail Zamov Buch | Softcover 1993 | Auflage: 1 | Springer Berlin ISBN: 9783540567325 53,49 € (inkl. MwSt) in den Warenkorb Versand in 7-10 Tagen
Topological Model Theory von Jörg Flum; Martin Ziegler Buch | Softcover 1980 | Auflage: 1 | Springer Berlin ISBN: 9783540097327 26,70 € (inkl. MwSt) in den Warenkorb Versand in 7-10 Tagen
A Boole Anthology Recent and Classical Studies in the Logic of George Boole von James Gasser Buch | Hardcover 2000 | Springer ISBN: 9780792363804 160,49 € (inkl. MwSt) in den Warenkorb Versand in 7-10 Tagen
Dominated Operators von A.G. Kusraev Buch | Hardcover 2000 | Springer ISBN: 9780792364856 192,59 € (inkl. MwSt) in den Warenkorb Versand in 7-10 Tagen