Showing 1 - 25 of 38 Results
1.
Abstract Interpretation of Declarative Languages
Abstract Interpretation of Declarative Languages by Abramsky, S., Hankin, Chris ISBN-13: 9780470209714 ISBN-10: 0470209712 Hardcover List Price: $73.95
2.
Propositional Logic Deduction and Algorithms
Propositional Logic Deduction and Algorithms by Kleine Büning, Hans, Lettmann, T... ISBN-13: 9780521630177 ISBN-10: 0521630177 List Price: $135.00

OUT OF STOCK. We are increasing our inventory daily! Please try again later.

3.
Uncertain Reasoner's Companion A Mathematical Perspective
Uncertain Reasoner's Companion A Mathematical Perspective by Paris, J. B., van Rijsbergen, C.... ISBN-13: 9780521032728 ISBN-10: 0521032725 Paperback, 2006 List Price: $48.00
4.
Uncertain Reasoner's Companion A Mathematical Perspective
Uncertain Reasoner's Companion A Mathematical Perspective by Paris, J. B., Abramsky, S., Acze... ISBN-13: 9780521460897 ISBN-10: 0521460891 Hardcover, 0017 List Price: $83.99
5.
Nets, Terms and Formulas Three Views of Concurrent Processes and Their Relationship
Nets, Terms and Formulas Three Views of Concurrent Processes and Their Relationship by Olderog, E. R., van Rijsbergen, ... ISBN-13: 9780521018456 ISBN-10: 0521018455 Paperback, 2005 List Price: $58.00
6.
Topology Via Logic
Topology Via Logic by Vickers, Steven, van Rijsbergen,... ISBN-13: 9780521576512 ISBN-10: 0521576512 Paperback, 1997 List Price: $48.00
7.
Extensions of First-Order Logic
Extensions of First-Order Logic by Manzano, Maria, van Rijsbergen, ... ISBN-13: 9780521019026 ISBN-10: 0521019028 Paperback, 2005 List Price: $79.00
8.
Category Theory and Computer Science
Category Theory and Computer Science by Curien, P-.L., Abramsky, S., Pit... ISBN-13: 9783540544951 ISBN-10: 354054495x Paperback, 1991 List Price: $67.95
9.
Algorithmic Information Theory
Algorithmic Information Theory by Chaitin, Gregory J., van Rijsber... ISBN-13: 9780521616041 ISBN-10: 0521616042 Paperback, 2004 List Price: $46.00
10.
Derivation and Computation Taking the Curry-Howard Correspondence Seriously
Derivation and Computation Taking the Curry-Howard Correspondence Seriously by Simmons, H., Abramsky, S., Aczel... ISBN-13: 9780521771733 ISBN-10: 0521771730 List Price: $168.00
11.
Handbook of Logic in Computer Science Logic and Algebraic Methods
Handbook of Logic in Computer Science Logic and Algebraic Methods by Abramsky, S., Gabbay, D. M., Mai... ISBN-13: 9780198537816 ISBN-10: 0198537816 List Price: $450.00
12.
Handbook of Logic in Computer Science Semantic Structures
Handbook of Logic in Computer Science Semantic Structures by Abramsky, S., Gabbay, Dov M., Ma... ISBN-13: 9780198537625 ISBN-10: 019853762X List Price: $345.00
13.
Formal Specification And Design
Formal Specification And Design by Feijs, L. M. G., Jonkers, H. B. ... ISBN-13: 9780521435925 ISBN-10: 0521435927 Paperback List Price: $74.00
14.
Belief Revision
Belief Revision by Gärdenfors, Peter, van Rijsberge... ISBN-13: 9780521545648 ISBN-10: 0521545641 List Price: $69.00
15.
Concurrency Verification Introduction to Compositional and Noncompositional Methods
Concurrency Verification Introduction to Compositional and Noncompositional Methods by De Roever, W. P., Abramsky, S., ... ISBN-13: 9780521806084 ISBN-10: 0521806089 List Price: $252.00
16.
Handbook of Logic in Computer Science Semantic Modelling
Handbook of Logic in Computer Science Semantic Modelling by Abramsky, S., Gabbay, Dov M., Ma... ISBN-13: 9780198537809 ISBN-10: 0198537808 List Price: $315.00
17.
Logic and Computation Interactive Proof With Cambridge Lcf
Logic and Computation Interactive Proof With Cambridge Lcf by Paulson, L. C., van Rijsbergen, ... ISBN-13: 9780521395601 ISBN-10: 0521395607 List Price: $61.00
18.
Term Rewriting Systems
Term Rewriting Systems by Klop, J. W., De Vrijer, R. C., A... ISBN-13: 9780521391153 ISBN-10: 0521391156 Hardcover, 2003 List Price: $239.00

OUT OF STOCK. We are increasing our inventory daily! Please try again later.

19.
Updating Logical Databases
Updating Logical Databases by Winslett, Marianne, Abramsky, S.... ISBN-13: 9780521373715 ISBN-10: 0521373719 Hardcover, 1990 List Price: $103.99
20.
Logic of Typed Feature Structures With Applications to Unification Grammars, Logic Programs ...
Logic of Typed Feature Structures With Applications to Unification Grammars, Logic Programs ... by Carpenter, Robert L., van Rijsbe... ISBN-13: 9780521022545 ISBN-10: 0521022541 Paperback, 2005 List Price: $58.00
21.
Tapsoft '91 Proceedings of the International Joint Conference on Theory and Practice of Soft...
Tapsoft '91 Proceedings of the International Joint Conference on Theory and Practice of Soft... by Abramsky, S., Maillbaum, T. S. ISBN-13: 9780387539812 ISBN-10: 0387539816 Paperback, 1991 List Price: $76.95
22.
Theory and Practice of Software Development
Theory and Practice of Software Development by Abramsky, S., Maibaum, T.S.E. ISBN-13: 9783540539810 ISBN-10: 3540539816 Paperback, 1991 List Price: $84.95
23.
Basic Simple Type Theory
Basic Simple Type Theory by Hindley, J. Roger, van Rijsberge... ISBN-13: 9780521465182 ISBN-10: 0521465184 List Price: $105.00
24.
Category Theory and Computer Programming Tutorial and Workshop, Guildford, U.K., September 1...
Category Theory and Computer Programming Tutorial and Workshop, Guildford, U.K., September 1... by Abramsky, S., Pitt, D. H., Poign... ISBN-13: 9780387171623 ISBN-10: 0387171622 List Price: $38.00

OUT OF STOCK. We are increasing our inventory daily! Please try again later.

25.
Handbook of Logic in Computer Science Background Computational Structures
Handbook of Logic in Computer Science Background Computational Structures by Abramsky, S., Gabbay, D. M., Mai... ISBN-13: 9780198537618 ISBN-10: 0198537611 List Price: $345.00
Showing 1 - 25 of 38 Results - Browse more Abramsky, S. in all departments
1 2 |