Výsledky vyhledávání - "Cambridge Tracts in Theoretical Computer Science ;"

1

Basic proof theory /

Autor Troelstra, A. S., 1939-, Schwichtenberg, Helmut, 1942-
Vydáno 2000

“...Cambridge Tracts in Theoretical Computer Science ;...”

Kniha

2

Basic simple type theory /

Autor Hindley, J. Roger, 1939-
Vydáno 1997

“...Cambridge Tracts in Theoretical Computer Science ;...”

Kniha

3

Belief revision /

Vydáno 1992

“...Cambridge Tracts in Theoretical Computer Science ;...”

Kniha

4

The clausal theory of types /

Autor Wolfram, D. A.
Vydáno 1993

“...Cambridge Tracts in Theoretical Computer Science ;...”

Kniha

5

Computational learning theory : an introduction /

Autor Anthony, Martin, 1967-, Biggs, Norman L. 1941-
Vydáno 1992

“...Cambridge Tracts in Theoretical Computer Science ;...”

Kniha

6

Concurrency verification : introduction to compositional and noncompositional methods /

Autor Roever, W.-P. de, 1943-
Vydáno 2001

“...Cambridge Tracts in Theoretical Computer Science ;...”

Kniha

7

Data refinement : model-oriented proof methods and their comparison /

Autor Roever, W.-P. de, 1943-, Engelhardt, Kai
Vydáno 1998

“...Cambridge Tracts in Theoretical Computer Science...”

Kniha

8

Deduction and declarative programming /

Autor Padawitz, Peter, 1953-
Vydáno 1992

“...Cambridge Tracts in Theoretical Computer Science ;...”

Kniha

9

Epistemic logic for AI and computer science /

Autor Meyer, J.-J. Ch., 1954-
Vydáno 1995

“...Cambridge Tracts in Theoretical Computer Science ;...”

Kniha

10

Extensions of first-order logic /

Autor Manzano, María, 1950-
Vydáno 1996

“...Cambridge Tracts in Theoretical Computer Science ;...”

Kniha

11

Formal methods in circuit design /

Autor Stavridou, V.
Vydáno 1993

“...Cambridge Tracts in Theoretical Computer Science ;...”

Kniha

12

Formal semantics and pragmatics for natural language querying /

Autor Clifford, James, 1950-
Vydáno 1990

“...Cambridge Tracts in Theoretical Computer Science ;...”

Kniha

13

Formal specification and design /

Autor Feijs, L. M. G. 1954-, Jonkers, H. B. M.
Vydáno 1992

“...Cambridge Tracts in Theoretical Computer Science ;...”

Kniha

14

Free choice petri nets /

Autor Desel, Jörg, 1959-, Esparza, Javier, 1964-
Vydáno 1995

“...Cambridge Tracts in Theoretical Computer Science ;...”

Kniha

15

Higher order logic and hardware verification /

Autor Melham, T. F. 1960-
Vydáno 1993

“...Cambridge Tracts in Theoretical Computer Science ;...”

Kniha

16

Hybrid graph theory and network analysis /

Autor Novak, Ladislav, 1950-, Gibbons, Alan, 1941-
Vydáno 1999

“...Cambridge Tracts in Theoretical Computer Science ;...”

Kniha

17

Information flow : the logic of distributed systems /

Autor Barwise, Jon, 1942-2000, Seligman, Jerry
Vydáno 1997

“...Cambridge Tracts in Theoretical Computer Science ;...”

Kniha

18

Lambda-Calculus, Combinators and Functional Programming /

Autor Revesz, G. E.
Vydáno 1988

“...Cambridge Tracts in Theoretical Computer Science ;...”

Kniha

19

Logic and computation : Interactive proof with Cambridge LCF /

Autor Paulson, Lawrence C., 1955-
Vydáno 1987

“...Cambridge Tracts in Theoretical Computer Science ;...”

Kniha

20

The logic of typed feature structures : with applications to unification grammars, logic programs and constraint resolution /

Autor Carpenter, Bob.
Vydáno 1992

“...Cambridge Tracts in Theoretical Computer Science ;...”

Kniha

Upřesnit hledání