|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Nonmonotonic Reasoning (Soviet and East European Studies) | Brewka, Gerhard | Hardcover | 0521383943 /
9780521383943 | 01/1991 | $77.89 |
|  | Nonmonotonic Reasoning: Logical Foundations of Commonsense (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Brewka, Gerhard | Paperback | 0521181305 /
9780521181303 | 03/2012 | $45.59 |
|  | Nonmonotonic Reasoning: Logical Foundations of Commonsense (Cambridge Tracts in Theoretical Computer Science) | Brewka, Gerhard | Other | 0511758995 /
9780511758997 | 06/2021 | $114.75 |
|  | Predicate Transformer Semantics (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Manes, Ernest G. | Paperback | 0521616107 /
9780521616102 | 12/2004 | $63.64 |
|  | Process Algebra: Equational Theories of Communicating Processes (Cambridge Tracts in Theoretical Computer Science) | Baeten, J. C. M. | Open Ebook | 113919500X /
9781139195003 | 07/2014 | $191.25 |
|  | Process Algebra: Equational Theories of Communicating Processes (Cambridge Tracts in Theoretical Computer Science (Hardcover)) | Baeten, J. C. M. | Hardcover | 0521820499 /
9780521820493 | 12/2009 | $107.35 |
|  | Programs, Recursion and Unbounded Choice (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Hesselink, Wim H. | Paperback | 0521018293 /
9780521018296 | 08/2005 | $53.19 |
|  | Rippling: Meta-Level Guidance for Mathematical Reasoning (Cambridge Tracts in Theoretical Computer Science (Hardcover)) | Bundy, Alan | Hardcover | 052183449X /
9780521834490 | 08/2005 | $133.00 |
|  | Temporal Logics in Computer Science: Finite-State Systems (Cambridge Tracts in Theoretical Computer Science (Hardcover)) | Demri, Stéphane | Hardcover | 1107028361 /
9781107028364 | 12/2016 | $133.00 |
|  | Term Rewriting Systems (Cambridge Tracts in Theoretical Computer Science (Hardcover)) | Klop, Jan Willem | Hardcover | 0521391156 /
9780521391153 | 04/2003 | $242.25 |
|  | The Clausal Theory of Types (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Wolfram, D. A. | Paperback | 0521117909 /
9780521117906 | 07/2009 | $33.24 |
|  | The Clausal Theory of Types (Cambridge Medieval Textbooks (Hardcover)) | Wolfram, D. A. | Hardcover | 0521395380 /
9780521395380 | 06/1993 | $74.09 |
|  | The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution Revised Edition (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Carpenter, Bob | Paperback | 0521022541 /
9780521022545 | 11/2005 | $53.19 |
|  | The Optimal Implementation of Functional Programming Languages (Cambridge Tracts in Theoretical Computer Science (Hardcover)) | Asperti, Andrea | Hardcover | 0521621127 /
9780521621120 | 01/1999 | $102.60 |
|  | The Uncertain Reasoner's Companion: A Mathematical Perspective Revised Edition (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Paris, J. B. | Paperback | 0521032725 /
9780521032728 | 11/2006 | $56.04 |
|  | Theoretical Foundations of VLSI Design (Cambridge Tracts in Theoretical Computer Science (Paperback)) | McEvoy, K. | Paperback | 052154565X /
9780521545655 | 12/2003 | $60.79 |
|  | Topological Duality for Distributive Lattices: Theory and Applications | Gehrke, Mai | Hardcover | 1009349694 /
9781009349697 | 05/2024 | $80.74 |
|  | Topology Via Logic Revised Edition (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Vickers, Steven | Paperback | 0521576512 /
9780521576512 | 09/1996 | $65.54 |
|  | Two-Level Functional Languages Pbk Version Edition (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Nielson, Flemming | Paperback | 0521018471 /
9780521018470 | 08/2005 | $58.89 |
|  | Two-Level Functional Languages (Studies in Australian History) | Nielson, Flemming | Hardcover | 0521403847 /
9780521403849 | 07/1992 | $145.35 |
|  | Understanding Z: A Specification Language and Its Formal Semantics (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Spivey, J. M. | Paperback | 0521054141 /
9780521054140 | 01/2008 | $42.74 |
|  | Updating Logical Databases (Cambridge Tracts in Theoretical Computer Science (Paperback)) | Winslett, Marianne | Paperback | 0521619726 /
9780521619721 | 02/2005 | $44.64 |
|
|
|
