Global Smoothness and Shape Preserving Interpolation by Classical Operators
by Sorin G. Gal
ISBN 13: 9780817643874
Format: Hardcover (146 pages) Publisher: Birkhauser Published: 01 Jul 2005
Save for later
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
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
Mathematical Problems from Applied Logic II: Logics for the XXIst Century: Logics for the 21st Century: v. 2 (International Mathematical Series)
by
ISBN 13: 9780387692449
Format: Hardcover (384 pages) Publisher: Springer Published: 29 Mar 2007
Rough Sets and Current Trends in Computing: Third International Conference, RSCTC 2002, Malvern, PA, USA, October 14-16, 2002. Proceedings (Lecture ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540442745
Format: Paperback (655 pages) Publisher: Springer Published: 25 Sep 2002
Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings (Lecture Notes ... Computer Science and General Issues)
ISBN 13: 9783540710653
Format: Paperback (321 pages) Publisher: Springer Published: 30 Jul 2008
Constructivism in Mathematics: v. 2: An Introduction (Studies in Logic and the Foundations of Mathematics)
by A.S. Troelstra,D.van Dalen,D. Van Dalen
ISBN 13: 9780444703583
Format: Hardcover (586 pages) Publisher: Elsevier Science Ltd Published: 01 Nov 1988
Introduction to Elliptic Curves and Modular Forms (Graduate Texts in Mathematics)
by N/A
ISBN 13: 9780387979663
Format: Hardcover (268 pages) Publisher: Springer Published: 03 May 1993
Category Theory (Oxford Logic Guides)
ISBN 13: 9780199237180
Format: Paperback (320 pages) Publisher: OUP Oxford Published: 17 Jun 2010
Kurt Gödel: Collected Works: Volume I: Publications 1929-1936: Publications 1929-1936 Vol 1 (Collected Works (Oxford))
ISBN 13: 9780195147209
Format: Paperback (504 pages) Publisher: OUP USA Published: 05 Jul 2001 Other Format: Illustrated
Boolean Functions and Computation Models (Texts in Theoretical Computer Science. An EATCS Series)
ISBN 13: 9783540594369
Format: Hardcover (615 pages) Publisher: Springer Published: 19 Sep 2002
Metalogic: An Introduction to the Metatheory of Standard First Order Logic
by Hunter
ISBN 13: 9780520023567
Format: Paperback (302 pages) Publisher: University of California Press Published: 01 Jul 1992