Author(s)
Bibliographic Information
Cambridge tracts in theoretical computer science
Cambridge University Press
Search this Book/Journal
-
61
- Deduction and declarative programming
-
Peter Padawitz
Cambridge University Press c1992 Cambridge tracts in theoretical computer science 28
Available at 28 libraries
-
62
- The logic of typed feature structures : with applications to unification grammars, logic programs, and constraint resolution
-
Bob Carpenter
Cambridge University Press c1992 Cambridge tracts in theoretical computer science 32
[hbk] , pbk
Available at 35 libraries
-
63
- Two-level functional languages
-
Flemming Nielson and Hanne Riis Nielson
Cambridge University Press 1992 Cambridge tracts in theoretical computer science 34
Available at 26 libraries
-
64
- Action semantics
-
Peter D. Mosses
Cambridge University Press c1992 Cambridge tracts in theoretical computer science 26
Available at 31 libraries
-
65
- Belief revision
-
edited by Peter Gärdenfors
Cambridge University Press 1992 Cambridge tracts in theoretical computer science 29
Available at 32 libraries
-
66
- Programs, recursion and unbounded choice : predicate-transformation semantics and transformation rules
-
Wim H. Hesselink
Cambridge University Press 1992 Cambridge tracts in theoretical computer science 27
Available at 24 libraries
-
67
- Computational learning theory : an introduction
-
Martin Anthony & Norman Biggs
Cambridge University Press 1992 Cambridge tracts in theoretical computer science 30
Available at 40 libraries
-
68
- Formal methods in artificial intelligence
-
Allan Ramsay
Cambridge University Press 1991 Cambridge tracts in theoretical computer science 6
: pbk.
Available at 12 libraries
-
69
- Nets, terms and formulas : three views of concurrent processes and their relationship
-
E.-R. Olderog
Cambridge University Press 1991 Cambridge tracts in theoretical computer science 23
Available at 32 libraries
-
70
- A unifying framework for structured analysis and design models : an approach using initial algebra semantics and category theory
-
T.H. Tse
Cambridge University Press 1991 Cambridge tracts in theoretical computer science 11
Available at 24 libraries
-
71
- Design theory and computer science : processes and methodology of computer systems design
-
Subrata Dasgupta
Cambridge University Press 1991 Cambridge tracts in theoretical computer science 15
pbk.
Available at 31 libraries
-
72
- Nonmonotonic reasoning : logical foundations of commonsense
-
Gerhard Brewka
Cambridge University Press 1991 Cambridge tracts in theoretical computer science 12
Available at 35 libraries
-
73
- Logic and computation : interactive proof with Cambridge LCF
-
Lawrence C. Paulson
Cambridge University Press 1990, c1987 Cambridge tracts in theoretical computer science 2
: pbk
Available at 15 libraries
-
74
- Theoretical foundations of VLSI design
-
edited by K. McEvoy and J.V. Tucker
Cambridge University Press 1990 Cambridge tracts in theoretical computer science 10
: hard
Available at 25 libraries
-
75
- Updating logical databases
-
Marianne Winslett
Cambridge University Press 1990 Cambridge tracts in theoretical computer science 9
Available at 15 libraries
-
76
- Process algebra
-
J.C.M. Baeten, W.P. Weijland
Cambridge University Press 1990 Cambridge tracts in theoretical computer science 18
Available at 33 libraries
-
77
- Applications of process algebra
-
edited by J.C.M. Baeten
Cambridge University Press 1990 Cambridge tracts in theoretical computer science 17
Available at 31 libraries
-
78
- Formal semantics and pragmatics for natural language querying
-
James Clifford
Cambridge University Press 1990 Cambridge tracts in theoretical computer science 8
: pbk
Available at 32 libraries
-
79
- Topology via logic
-
Steven Vickers
Cambridge University Press 1989 Cambridge tracts in theoretical computer science 5
pbk.
Available at 56 libraries
-
80
- Proofs and types
-
Jean-Yves Girard ; translated and with appendices by Paul Taylor, Yves Lafont
Cambridge University Press 1989 Cambridge tracts in theoretical computer science 7
Available at 48 libraries