|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13 or UPC |
Pub Date |
Price |
| | Automated Reasoning: 4th International Joint Conference, Ijcar 2008, Sydney, Nsw, Australia, August 12-15, 2008, Proceedings 2008 Edition (Lecture Notes in Computer Science) | Armando, Alessandro | Paperback | 3540710698 / 9783540710691 | 07/2008 | $52.24 |
| | Computation, Proof, Machine | Dowek, Gilles | Hardcover | 0521118018 / 9780521118019 | 05/2015 | $99.75 |
| | Computation, Proof, Machine: Mathematics Enters a New Age | Dowek, Gilles | Paperback | 0521133777 / 9780521133777 | 05/2015 | $54.14 |
| | Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, Hoa '95, Paderborn, Germany, September 1995. Selected Papers 1996 Edition (Molecular Biology Intelligence Unit) | Dowek, Gilles | Paperback | 3540612548 / 9783540612544 | 05/1996 | $52.24 |
| | Introduction to the Theory of Programming Languages 2011 Edition (Undergraduate Topics in Computer Science) | Dowek, Gilles | Paperback | 0857290754 / 9780857290755 | 12/2010 | $37.95 |
| | Principles of Programming Languages 2009 Edition (Undergraduate Topics in Computer Science) | Dowek, Gilles | Paperback | 1848820313 / 9781848820319 | 03/2009 | $36.09 |
| | Proofs and Algorithms: An Introduction to Logic and Computability 2011 Edition (Undergraduate Topics in Computer Science) | Dowek, Gilles | Paperback | 0857291203 / 9780857291202 | 01/2011 | $37.95 |
| | Rewriting and Typed Lambda Calculi: Joint International Conferences, Rta and Tlca 2014, Held as Part of the Vienna Summer of Logic, Vsl 2014, Vienna, 2014 Edition (Lecture Notes in Computer Science / Theoretical Computer Sci) | Dowek, Gilles | Paperback | 331908917X / 9783319089171 | 07/2014 | $52.24 |
| | Theorem Proving in Higher Order Logics: 12th International Conference, Tphols'99, Nice, France, September 14-17, 1999, Proceedings 1999 Edition (Lecture Notes in Computer Science,) | Bertot, Yves | Paperback | 3540664637 / 9783540664635 | 09/1999 | $52.24 |
|
|
|