著者
書誌事項
Cambridge tracts in theoretical computer science
Cambridge University Press
この図書・雑誌をさがす
-
41
- Basic simple type theory
-
J. Roger Hindley
Cambridge University Press 1997 Cambridge tracts in theoretical computer science 42
: hbk , : pbk
所蔵館48館
-
42
- Metamathematics, machines, and Gödel's proof
-
N. Shankar
Cambridge University Press 1997 Cambridge tracts in theoretical computer science 38
: pbk
所蔵館22館
-
43
- Computational learning theory : an introduction
-
Martin Anthony & Norman Biggs
Cambridge University Press 1997, c1992 1st pbk. ed. (with corrections) Cambridge tracts in theoretical computer science 30
所蔵館25館
-
44
- Topology via logic
-
Steven Vickers
Cambridge University Press 1996, c1989 Cambridge tracts in theoretical computer science 5
: pbk
所蔵館14館
-
45
- Basic proof theory
-
A.S. Troelstra, H. Schwichtenberg
Cambridge University Press 1996 Cambridge tracts in theoretical computer science 43
: hardback
所蔵館38館
-
46
- Extensions of first order logic
-
[by] María Manzano
Cambridge University Press 1996 Cambridge tracts in theoretical computer science 19
: hardback
所蔵館45館
-
47
- Epistemic logic for AI and computer science
-
J.-J. Ch. Meyer and W. van der Hoek
Cambridge University Press c1995 Cambridge tracts in theoretical computer science 41
hardback
所蔵館38館
-
48
- Free choice Petri nets
-
Jörg Desel, Javier Esparza
Cambridge University Press 1995 Cambridge tracts in theoretical computer science 40
所蔵館33館
-
49
- The uncertain reasoner's companion : a mathematical perspective
-
J. B. Paris
Cambridge University Press 1994 Cambridge tracts in theoretical computer science 39
: hard , : pbk.
所蔵館29館
-
50
- Mathematical theory of domains
-
Viggo Stoltenberg-Hansen, Ingrid Lindström and Edward R. Griffor
Cambridge University Press 1994 Cambridge tracts in theoretical computer science 22
: hardback
所蔵館34館
-
51
- Metamathematics, machines, and Gödel's proof
-
N. Shankar
Cambridge University Press 1994 Cambridge tracts in theoretical computer science 38
所蔵館44館
-
52
- Higher order logic and hardware verification
-
T. Melham
Cambridge University Press 1993 Cambridge tracts in theoretical computer science 31
所蔵館28館
-
53
- Formal methods in circuit design
-
V. Stavridou
Cambridge University Press 1993 Cambridge tracts in theoretical computer science 37
所蔵館28館
-
54
- Algebraic specification of communication protocols
-
edited by S. Mauw and G.J. Veltink
Cambridge University Press 1993 Cambridge tracts in theoretical computer science 36
所蔵館26館
-
55
- The clausal theory of types
-
D.A. Wolfram
Cambridge University Press 1993 Cambridge tracts in theoretical computer science 21
: hardback , : pbk
所蔵館35館
-
56
- Algorithmic information theory
-
Gregory J. Chaitin
Cambridge University Press 1992, c1987 Reprinted with revisions Cambridge tracts in theoretical computer science 1
所蔵館10館
-
57
- Action semantics
-
Peter D. Mosses
Cambridge University Press 1992 Cambridge tracts in theoretical computer science 26
所蔵館3館
-
58
- Mathematics for computer graphics
-
S.G. Hoggar
Cambridge University Press 1992 Cambridge tracts in theoretical computer science 14
所蔵館50館
-
59
- Formal specification and design
-
L. M. G. Feijs & H. B. M. Jonkers
Cambridge University Press 1992 Cambridge tracts in theoretical computer science 35
所蔵館31館
-
60
- Predicate transformer semantics
-
Ernest G. Manes
Cambridge University Press 1992 Cambridge tracts in theoretical computer science 33
所蔵館30館