|
1.
|
NETS, TERMS AND FORMULAS
by Olderog, E. R. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,267.Publisher: Cambridge Cambridge Univ. Pr. 1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511 O11n] (1).
|
|
2.
|
Logic and computation
: interactive proof with Cambridge LCF
by Paulson, Lawrence C. Material type: Book; Format:
print
; Literary form:
not fiction
Description: ix, 302p.Publisher: Cambridge Cambridge University Press 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 P285l] (1).
|
|
3.
|
Understanding Z : a specification language and its formal semantics
by Spivey, J. M. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii,131p.Publisher: Cambridge Cambridge University Press 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 Sp49u] (1).
|
|
4.
|
Mathematics for computer graphics
by Hoggar, S. G. Material type: Book Description: xviii, 472p.Publisher: Cambridge Cambridge University press 1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.6 H679m] (1).
|
|
5.
|
ACTION SEMANTICS
by Mosses, Peter D. Material type: Book Description: xx,372.Publisher: Cambridge Cambridge Univ. Pr. c1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.13 M855a] (1).
|
|
6.
|
Two-level functional languages
by Nielson, Fleming | Nielson, Hanne Riis. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii, 299p.Publisher: Cambridge Cambridge University Press 1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.13 N554t] (1).
|
|
7.
|
COMPUTATIONAL LEARNING THEORY
by Anthony, Martin | Biggs, Norman. Material type: Book; Literary form: Publisher: Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006 AN87C] (1).
|
|
8.
|
LOGIC OF TYPED FEATURE STRUCTURES
by Carpenter, Bob. Material type: Book Description: viii,270.Publisher: Cambridge Cambridge Univ. Press c1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.73 C225L] (1).
|
|
9.
|
Formal methods in artificial intelligence
by Ramsay, Allan. Material type: Book Description: ix, 279p.Publisher: Cambridge Cambridge University Press 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 R149f] (1).
|
|
11.
|
METAMATHEMATICS MACHINES AND GODELS PROOF
by Shankar,N. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv,202.Publisher: Cambridge Univ. Press, Cambridge 1994Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 SH18M] (1).
|
|
12.
|
TOPOLOTY VIA LOGIC
by Vickers, Steven. Material type: Book Description: 200.Publisher: Cambridge Cambridge Univ. Pr. c1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 514 V663t] (1).
|
|
13.
|
The clausal theory of types
by Wolfram, D. A. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii, 124p.Publisher: Cambridge Cambridge University Press 1993Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.131 W833c] (1).
|
|
14.
|
PREDICATE TRANSFORMER SEMANTICS
by Manes, Ernest G. Material type: Book Description: 223.Publisher: Cambridge Cambridge Univ. Press c1992Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.642 M313p] (1).
|
|
15.
|
FORMAL SPECIFICATION AND DESIGN
by Feijs, L. M. G | Jonkers, H. B. M. Material type: Book Description: xvi,335.Publisher: Cambridge Cambridge Univ. Press c1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 F324f] (1).
|
|
16.
|
Advanced topics in bisimulation and coinduction
by | Sangiorgi, Davide, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii, 326p.Publisher: Cambridge Cambridge University Press 2012Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.015113 Ad95] (1).
|
|
17.
|
Nominal sets
: names and symmetry in computer science
by Pitts, Andrew M. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii, 276p.Publisher: Cambridge Cambridge University Press 2013Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.114 P687n] (1).
|