|
|
81.
|
EQUATIONAL LOGIC AS A PROGRAMMING LANGUAGE
by O'Donnell, Michael J. Material type:  Book; Format:
print
; Literary form:
not fiction
Description: 297.Publisher: Cambridge Mit Pr. 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 Ob5e] (1).
|
|
|
82.
|
Temporal logic of programs
by Kroger, Fred. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii, 148p.Publisher: Berlin Springer-Verlag 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 K914t] (1).
|
|
|
83.
|
LOGIC PROGRAMMING AND ITS APPLICATIONS
by Van Caneghem, Michel | Warren, David H. D. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,318.Publisher: Norwood Ablex Pub. 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 L829v] (1).
|
|
|
84.
|
FOUNDATIONS OF LOGIC PROGRAMMING
by Lloyd, J.W. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,124.Publisher: Berlin Springer-Verlag 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 L777f] (1).
|
|
|
85.
|
FOUNDATIONS OF LOGIC PROGRAMMING
by Lloyd, J.W. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 317.Publisher: Berlin Springer-Verlag 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 L777f] (1).
|
|
|
86.
|
Mathematical theory of program correctness
by Bakker, Jaco de. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvi, 505p.Publisher: Englewood Cliffs, New Jersey Prentice-Hall 1980Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 B179m] (1).
|
|
|
87.
|
MATRIX LOGIC
by Stern, August. Material type: Book Description: viii,215.Publisher: Amsterdam North-Holland c1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 St45m] (1).
|
|
|
88.
|
TO H. B. CURRY
by Seldin, J. P | Hindley, J. R. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxv,606.Publisher: New York Academic Press 1980Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 T55] (1).
|
|
|
89.
|
THEORY OF DEDUCTIVE SYSTEMS AND ITS APPLICATIONS
by Maslov, Sergei Iur'Evich | Lifschitx, Vladimir. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,151.Publisher: Cambridge Mit Pr. 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 M379t] (1).
|
|
|
90.
|
PX
by Hayashi, Susumu | Nakano, Hiroshi. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv,200.Publisher: Cambridge Mit Pr. 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 H323p] (1).
|
|
|
91.
|
THEORETICAL ASPECTS OF REASONING ABOUT KNOWLEDGE
by Parikh, Rohit. Material type: Book; Literary form: Publisher: Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 T343] (1).
|
|
|
92.
|
THE MATHEMATICS OF INHERITANCE SYSTEMS
by Touretzky, David S. Material type: Book; Literary form: Publisher: Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.3 T645M] (1).
|
|
|
93.
|
FOUNDATIONS OF COMPUTING
by Scheurer,Thierry. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxiv,668.Publisher: Addison-Wesley, Reading,Mass. 1994Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.21 SCH29F] (1).
|
|
|
94.
|
INITIATIVES IN LOGIC
by Srzednicki, Jan. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,261.Publisher: Dordrecht Martinus Nijhoff 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 In5] (1).
|
|
|
95.
|
THE METAPHYSICS OF THE TRACTATUS
by Carruthers Peter. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv,210.Publisher: Cambridge Cambridge Univ. Pr. 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 192 C237m] (1).
|
|
|
96.
|
Lecture notes in mathematics
: introduction to digital computer design:lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 /
by Homer, S | Odifreddi, Piergiorgio | Centro internazionale matematico estivo. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 162 p.Publisher: Berlin ; New York : Springer-Verlag, c1990Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.534 R453s] (1).
|
|
|
97.
|
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).
|
|
|
98.
|
Collected works [2Vols ]
by Lesniewski, Stanislaw | Stanislaw J. Surma [ed.] | Srzednicki, Jan T.[ed.] | Barnett, D.I. [ed.]. Material type: Book Description: 2v.Publisher: Dordrecht Kluwer Academic Publishers 1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 199.438 L565c v.1] (2).
|
|
|
99.
|
MASS TERMS AND MODEL THEORETIC SEMANTICS
by Bunt, Harry C. Material type: Book Description: xiii,325.Publisher: Cambridge Cambridge Univ. Pr. c1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 412 B885m] (1).
|
|
|
100.
|
LOGICS OF TIME AND COMPUTATION
by Goldblatt, Robert. Material type: Book; Format:
print
; Literary form:
not fiction
Description: ix,131.Publisher: Menlo Park Csli 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 G564L] (1).
|
