著者
書誌事項
Cambridge tracts in theoretical computer science
Cambridge University Press
この図書・雑誌をさがす
-
61
- Deduction and declarative programming
-
Peter Padawitz
Cambridge University Press c1992 Cambridge tracts in theoretical computer science 28
所蔵館28館
-
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
所蔵館35館
-
63
- Two-level functional languages
-
Flemming Nielson and Hanne Riis Nielson
Cambridge University Press 1992 Cambridge tracts in theoretical computer science 34
所蔵館26館
-
64
- Action semantics
-
Peter D. Mosses
Cambridge University Press c1992 Cambridge tracts in theoretical computer science 26
所蔵館31館
-
65
- Belief revision
-
edited by Peter Gärdenfors
Cambridge University Press 1992 Cambridge tracts in theoretical computer science 29
所蔵館32館
-
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
所蔵館24館
-
67
- Computational learning theory : an introduction
-
Martin Anthony & Norman Biggs
Cambridge University Press 1992 Cambridge tracts in theoretical computer science 30
所蔵館40館
-
68
- Formal methods in artificial intelligence
-
Allan Ramsay
Cambridge University Press 1991 Cambridge tracts in theoretical computer science 6
: pbk.
所蔵館12館
-
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
所蔵館32館
-
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
所蔵館24館
-
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.
所蔵館31館
-
72
- Nonmonotonic reasoning : logical foundations of commonsense
-
Gerhard Brewka
Cambridge University Press 1991 Cambridge tracts in theoretical computer science 12
所蔵館35館
-
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
所蔵館15館
-
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
所蔵館25館
-
75
- Updating logical databases
-
Marianne Winslett
Cambridge University Press 1990 Cambridge tracts in theoretical computer science 9
所蔵館15館
-
76
- Process algebra
-
J.C.M. Baeten, W.P. Weijland
Cambridge University Press 1990 Cambridge tracts in theoretical computer science 18
所蔵館33館
-
77
- Applications of process algebra
-
edited by J.C.M. Baeten
Cambridge University Press 1990 Cambridge tracts in theoretical computer science 17
所蔵館31館
-
78
- Formal semantics and pragmatics for natural language querying
-
James Clifford
Cambridge University Press 1990 Cambridge tracts in theoretical computer science 8
: pbk
所蔵館32館
-
79
- Topology via logic
-
Steven Vickers
Cambridge University Press 1989 Cambridge tracts in theoretical computer science 5
pbk.
所蔵館56館
-
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
所蔵館49館