1.
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
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
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
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
by Olderog, E. R., van Rijsbergen, ...
ISBN-13: 9780521018456
ISBN-10: 0521018455
Paperback, 2005
List Price: $58.00
6.
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
by Manzano, Maria, van Rijsbergen, ...
ISBN-13: 9780521019026
ISBN-10: 0521019028
Paperback, 2005
List Price: $79.00
8.
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
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
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
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
by Abramsky, S., Gabbay, Dov M., Ma...
ISBN-13: 9780198537625
ISBN-10: 019853762X
List Price: $345.00
13.
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
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
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
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
by Paulson, L. C., van Rijsbergen, ...
ISBN-13: 9780521395601
ISBN-10: 0521395607
List Price: $61.00
18.
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
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 ...
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...
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
by Abramsky, S., Maibaum, T.S.E.
ISBN-13: 9783540539810
ISBN-10: 3540539816
Paperback, 1991
List Price: $84.95
23.
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...
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
by Abramsky, S., Gabbay, D. M., Mai...
ISBN-13: 9780198537618
ISBN-10: 0198537611
List Price: $345.00




















