Cantor Und die Franzosen: Mathematik, Philosophie Und das Unendliche (Mathematik Im Kontext)
by Anne-Marie Decaillot
ISBN 13: 9783642148682
Format: Paperback (250 pages) Publisher: Springer Published: Nov 2010
Save for later
Completeness Theory for Propositional Logics (Studies in Universal Logic)
by Witold A. Pogorzelski,Piotr Wojtylak
ISBN 13: 9783764385170
Format: Paperback (178 pages) Publisher: Birkhauser Published: 17 Apr 2008
Logic for Computer Scientists (Modern Birkhäuser Classics)
by Uwe Schöning
ISBN 13: 9780817647629
Format: Paperback (166 pages) Publisher: Birkhauser Published: 25 Jan 2008
Institution-independent Model Theory (Studies in Universal Logic)
by Razvan Diaconescu
ISBN 13: 9783764387075
Format: Paperback (387 pages) Publisher: Birkhauser Published: 16 May 2008
Relations and Kleene Algebra in Computer Science: 10th International Conference on Relational Methods in Computer Science, and 5th International ... Computer Science and General Issues)
by
ISBN 13: 9783540789123
Format: Paperback (397 pages) Publisher: Springer Published: 28 Mar 2008
Constraint-Programmierung: Grundlagen Und Anwendungen (Springer-Lehrbuch)
by Thom Frühwirth,Slim Abdennadher
ISBN 13: 9783540606703
Format: Paperback (176 pages) Publisher: Springer Published: 22 Feb 2009
Compiler Construction: 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ... Computer Science and General Issues)
ISBN 13: 9783540787907
Format: Paperback (307 pages) Publisher: Springer Published: 18 Mar 2008
Transactions on Computational Systems Biology VII: v. 7 (Lecture Notes in Computer Science / Transactions on Computational Systems Biology)
ISBN 13: 9783540488378
Format: Paperback (192 pages) Publisher: Springer Published: 13 Nov 2006
Fundamentals of Mathematical Logic
by Peter G. Hinman
ISBN 13: 9781568812625
Format: Hardcover (896 pages) Publisher: A K Peters/CRC Press Published: 09 Sep 2005
Logic Programming: 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783540746089
Format: Paperback (470 pages) Publisher: Springer Published: 28 Aug 2007
Theoretical Aspects of Computing - ICTAC 2006: Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings (Lecture Notes in ... Computer Science and General Issues)
ISBN 13: 9783540488156
Format: Paperback (386 pages) Publisher: Springer Published: 30 Oct 2006
Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings ... Computer Science and General Issues)
ISBN 13: 9783540727873
Format: Paperback (384 pages) Publisher: Springer Published: 18 May 2007