Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings: 2701 (Lecture Notes in Computer Science)
by Martin Hofmann
ISBN 13: 9783540403326
Format: Illustrated (332 pages) Publisher: Springer Berlin Heidelberg Published: 10 Oct 2008
Save for later
Algorithmic Cryptanalysis (Chapman & Hall/CRC Cryptography and Network Security Series)
by Antoine Joux
ISBN 13: 9781420070026
Format: Hardcover (519 pages) Publisher: Chapman and Hall/CRC Published: 22 Jun 2009
An Introduction to Many-Valued and Fuzzy Logic: Semantics, Algebras, and Derivation Systems
by Merrie Bergmann
ISBN 13: 9780521707572
Format: Illustrated (342 pages) Publisher: Cambridge University Press Published: 24 Apr 2008
Teaching and Learning Proof Across the Grades: A K-16 Perspective (Studies in Mathematical Thinking and Learning Series)
by Despina A. Stylianou,Maria L. Blanton,Eric J. Knuth
ISBN 13: 9780415989848
Format: Illustrated (408 pages) Publisher: Routledge Published: 05 Mar 2009
Modelling Differentl Difference Equ: 10 (Australian Mathematical Society Lecture Series, Series Number 10)
by Fulford/Forrester/Jones
ISBN 13: 9780521446181
Format: Paperback (416 pages) Publisher: Cambridge University Press Published: 12 Jan 2008
Finite Structures with Few Types. (AM-152): 165 (Annals of Mathematics Studies)
by Gregory Cherlin, Ehud Hrushovski
ISBN 13: 9780691113326
Format: Paperback (200 pages) Publisher: Princeton University Press Published: 23 Dec 2002
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming Volume 5: Logic Programming
by Christopher John Hogger,D. M. Gabbay,C. Hogger
ISBN 13: 9780198537922
Format: Illustrated (816 pages) Publisher: OUP Oxford Published: 08 Jan 1998
Agents for Games and Simulations: Trends in Techniques, Concepts and Design (Lecture Notes in Computer Science)
by Frank Dignum, Jeff Bradshaw, Barry G. Silverman, Willem van Doesburg
ISBN 13: 9783642111976
Format: Paperback (273 pages) Publisher: Springer Published: 21 Dec 2009
Game Set and Math: Enigmas and Conundrums (Dover Books on MaTHEMA 1.4tics)
by Ian Stewart
ISBN 13: 9780486458847
Format: Illustrated (208 pages) Publisher: Dover Publications Inc Published: 12 May 2007
Transactions on Rough Sets IX (Lecture Notes in Computer Science)
by James F. Peters, Andrzej Skowron, Henryk Rybinski
ISBN 13: 9783540898757
Format: Paperback (751 pages) Publisher: Springer Published: 18 Dec 2008
Descartes' Error: Emotion, Reason, and the Human Brain
by Antonio R Damasio
ISBN 13: 9780143036227
Format: Illustrated (312 pages) Publisher: Penguin Group Published: 27 Sep 2005 Other Format: paperback
Practical Aspects of Declarative Languages: 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings: 5937 (Lecture Notes in Computer Science)
by Manuel Carro,Ricardo Peña
ISBN 13: 9783642115028
Format: Illustrated (297 pages) Publisher: Springer Published: 12 Jan 2010