Handbook of Tableau Methods von M. D'Agostino; Dov M. Gabbay; Reiner Hähnle; J... Buch | Softcover 2010 | Springer ISBN: 9789048151844 CHF 299,55 (inkl. MwSt) in den Warenkorb Versand in 10-15 Tagen
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods.. von Wolfgang Bibel; P.H. Schmitt Buch | Softcover 2010 | Springer ISBN: 9789048150526 CHF 224,65 (inkl. MwSt) in den Warenkorb Versand in 10-15 Tagen
The Theory of Algorithms von A.A. Markov; N.M. Nagorny Buch | Softcover 2010 | Springer ISBN: 9789048184538 CHF 224,65 (inkl. MwSt) in den Warenkorb Versand in 10-15 Tagen
Reasoning with Actual and Potential Contradictions von Dov M. Gabbay; Philippe Smets Buch | Softcover 2010 | Springer ISBN: 9789048150632 CHF 224,65 (inkl. MwSt) in den Warenkorb Versand in 10-15 Tagen
Artificial Intelligence in Logic Design von Svetlana N. Yanushkevich Buch | Softcover 2010 | Springer ISBN: 9789048165834 CHF 224,65 (inkl. MwSt) in den Warenkorb Versand in 10-15 Tagen
Fuzzy Sets, Logics and Reasoning about Knowledge von Didier Dubois; Henri Prade; Erich Peter Klement Buch | Softcover 2010 | Springer ISBN: 9789048153244 CHF 224,65 (inkl. MwSt) in den Warenkorb Versand in 10-15 Tagen
Advances in Logic von Su Gao; Steve Jackson; Yi Sun Zhang Buch | Softcover 2007 | American Mathematical Society ISBN: 9780821838198 CHF 198,95 (inkl. MwSt) jetzt vorbestellen Titel z.Zt. nicht lieferbar
Security for Wireless Sensor Networks using Identity-Based Cryptography von Harsh Kupwade Patil; Stephen A. Szygenda Buch | Hardcover 2012 | Taylor & Francis Inc ISBN: 9781439869017 CHF 239,95 (inkl. MwSt) in den Warenkorb Versand in 15-20 Tagen
Proof Theory von Takeuti Takeuti; YA S Dubnov Buch | Softcover 2013 | Dover Publications Inc. ISBN: 9780486490731 CHF 36,65 (inkl. MwSt) in den Warenkorb Versand in 10-20 Tagen
Mathematical Aspects of Scientific Software von J.R. Rice Buch | Softcover 2012 | Springer-Verlag New York Inc. ISBN: 9781468470765 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-15 Tagen
Proof Theory Sequent Calculi and Related Formalisms von Katalin Bimbo Buch | Hardcover 2014 | Crc Press Inc ISBN: 9781466564664 CHF 179,95 (inkl. MwSt) in den Warenkorb Versand in 15-20 Tagen
Quantitative Logic And Soft Computing - Proceedings Of The Ql&sc 2012 von Yongming Li; Guojun Wang; Bin Zhao Buch | Hardcover 2012 | World Scientific Publishing Co Pte.. ISBN: 9789814401524 CHF 399,95 (inkl. MwSt) in den Warenkorb Versand in 10-20 Tagen
Semantics of Programming Languages and Model Theory von Manfred Droste; Yuri Gurevich Buch | Hardcover 1993 | Gordon & Breach Science Publishers.. ISBN: 9782881249358 CHF 359,95 (inkl. MwSt) jetzt vorbestellen Titel z.Zt. nicht lieferbar
Computing in Nonlinear Media and Automata Collectives von Andrew Adamatzky Buch | Hardcover 2001 | Institute of Physics Publishing ISBN: 9780750307512 CHF 369,95 (inkl. MwSt) jetzt vorbestellen Titel z.Zt. nicht lieferbar
Fuzzy Logic For Beginners von Masao Mukaidono Buch | Softcover 2001 | World Scientific Publishing Co Pte.. ISBN: 9789810245344 CHF 39,95 (inkl. MwSt) jetzt vorbestellen Titel z.Zt. nicht lieferbar
Essays On Non-classical Logic von Heinrich Wansing Buch | Hardcover 2001 | World Scientific Publishing Co Pte.. ISBN: 9789810247355 CHF 125,65 (inkl. MwSt) jetzt vorbestellen Titel z.Zt. nicht lieferbar
Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures von S. Abramsky; Dov M. Gabbay; T. S. E. Maibaum Buch | Hardcover 2001 | Oxford University Press ISBN: 9780198537816 CHF 669,95 (inkl. MwSt) in den Warenkorb Versand in 10-20 Tagen
The Infinite in Mathematics Logico-mathematical writings von Felix Kaufmann; B.F. McGuinness Buch | Softcover 1978 | Kluwer Academic Publishers ISBN: 9789027708489 CHF 224,65 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen
Countable Boolean Algebras and Decidability von Sergei S. Goncharov Buch | Hardcover 1997 | Kluwer Academic/Plenum Publishers ISBN: 9780306110610 CHF 224,65 (inkl. MwSt) in den Warenkorb Versand in 10-20 Tagen
Course of Mathematical Logic Volume 2 Model Theory von R. Fraïssé Buch | Hardcover 1974 | Kluwer Academic Publishers ISBN: 9789027702692 CHF 74,85 (inkl. MwSt) in den Warenkorb Versand in 10-14 Tagen