1.
Basic Proof Theory
by Troelstra, Anne S., Schwichtenbe...
ISBN-13: 9780521779111
ISBN-10: 0521779111
List Price: $46.00
2.
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
3.
Advances in Databases and Information Systems
by Manthey, R., Wolfengagen, V., va...
ISBN-13: 9783540762270
ISBN-10: 3540762272
List Price: $49.95
OUT OF STOCK. We are increasing our inventory daily! Please try again later.
4.
User-Developer Cooperation in Software Development Building Common Ground and Usable Systems
by O'Neill, Eamonn, van Rijsbergen,...
ISBN-13: 9781852333119
ISBN-10: 1852333111
Hardcover, 2001
List Price: $98.00
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.
Geometry of Information Retrieval
by van Rijsbergen, C. J.
ISBN-13: 9780521838054
ISBN-10: 0521838053
Hardcover, 2004
List Price: $80.00
8.
Security and Persistence Proceedings of the International Workshop on Computer Architectures...
by Rosenberg, J., Keedy, J. L., van...
ISBN-13: 9780387196466
ISBN-10: 0387196463
List Price: $59.00
OUT OF STOCK. We are increasing our inventory daily! Please try again later.
9.
Extensions of First-Order Logic
by Manzano, Maria, van Rijsbergen, ...
ISBN-13: 9780521019026
ISBN-10: 0521019028
Paperback, 2005
List Price: $79.00
10.
Two-Level Functional Languages
by Nielson, Flemming, Nielson, Hann...
ISBN-13: 9780521018470
ISBN-10: 0521018471
Paperback
List Price: $61.00
11.
AI and Cognitive Science, 1989: Proceedings of the Second Irish Conference on Artificial Int...
by Smeaton, A. F., McDermott, G., v...
ISBN-13: 9780387196084
ISBN-10: 0387196080
Hardcover, 1990
List Price: $44.95
OUT OF STOCK. We are increasing our inventory daily! Please try again later.
12.
Second International Workshop on the Theory and Practice of Algebraic Specifications : Proce...
by Sellink, M. P., van Rijsbergen, ...
ISBN-13: 9783540762287
ISBN-10: 3540762280
1998
List Price: $49.95
OUT OF STOCK. We are increasing our inventory daily! Please try again later.
13.
Algorithmic Information Theory
by Chaitin, Gregory J., van Rijsber...
ISBN-13: 9780521616041
ISBN-10: 0521616042
Paperback, 2004
List Price: $46.00
14.
Games and Full Abstraction for a Functional Metalanguage with Recursive Types
by McCusker, Guy, van Rijsbergen, C...
ISBN-13: 9783540762553
ISBN-10: 3540762558
Hardcover
List Price: $136.00
15.
Z User Workshop, York, 1991: Proceedings of the Sixth Annual Z User Meeting York, 16-17 Dece...
by Nicholls, J. E., van Rijsbergen,...
ISBN-13: 9780387197807
ISBN-10: 038719780x
Paperback
List Price: $69.95
16.
Research and Development in Information Retrieval
by van Rijsbergen, C. J., Hammersle...
ISBN-13: 9780521268653
ISBN-10: 0521268656
Hardcover, 1984
List Price: $57.50
OUT OF STOCK. We are increasing our inventory daily! Please try again later.
17.
Domains and Lambda-Calculi
by Amadio, Roberto M., Curien, Pier...
ISBN-13: 9780521622776
ISBN-10: 0521622778
List Price: $168.00
18.
Epistemic Logic for Ai and Computer Science
by Meyer, John-Jules Ch., Hoek, Wie...
ISBN-13: 9780521602808
ISBN-10: 0521602807
Paperback, 0009
List Price: $74.00
19.
Finding Out About A Cognitive Perspective on Search Engine Technology and the Www
by Belew, Richard K., van Rijsberge...
ISBN-13: 9780521630283
ISBN-10: 0521630282
2001
List Price: $86.00
20.
Belief Revision
by Gärdenfors, Peter, van Rijsberge...
ISBN-13: 9780521545648
ISBN-10: 0521545641
List Price: $69.00
21.
Information Flow The Logic of Distributed Systems
by Barwise, Jon, Seligman, Jerry, v...
ISBN-13: 9780521583862
ISBN-10: 0521583861
List Price: $95.00
22.
Logic and Computation Interactive Proof With Cambridge Lcf
by Paulson, L. C., van Rijsbergen, ...
ISBN-13: 9780521395601
ISBN-10: 0521395607
List Price: $61.00
23.
Sigir '89 Proceedings of the Twelfth Annual International Acmsigir Conference on Research an...
by Belkin, N. J., van Rijsbergen, C...
ISBN-13: 9780897913218
ISBN-10: 0897913213
List Price: $16.00
OUT OF STOCK. We are increasing our inventory daily! Please try again later.
24.
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
25.
Z User Workshop Oxford, 1990: Proceedings of the Annual Meeting, 5th, December 17-18, 1990, ...
by Nicholls, J. E., van Rijsbergen,...
ISBN-13: 9780387196725
ISBN-10: 0387196722
Hardcover
List Price: $59.95


















