|
|
281.
|
Mathematical logic for computer science
by Zhonngwan, Lu. Material type:  Book; Format:
print
; Literary form:
not fiction
Description: ix, 248p.Publisher: Singapore World Scientific 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6 Z45m] (1).
|
|
|
282.
|
FOUNDATIONS OF DEDUCTIVE DATABASES AND LOGIC PROGRAMMING
by Minker, Jack. Material type: Book Description: 746.Publisher: Los Altos Morgan Kaufman Pub. c1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.3 F825] (1).
|
|
|
283.
|
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).
|
|
|
284.
|
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).
|
|
|
285.
|
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).
|
|
|
286.
|
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).
|
|
|
287.
|
A deduction model of belief
by Konolige, Kurt. Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: London Pitman 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 K837d] (1).
|
|
|
288.
|
Many-valued logics (vol.1)
by Bolc, Leonard | Borowik, Piotr. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii, 292p.Publisher: Berlin Springer-Verlag 1992Other title: theoretical foundations.Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.131 B638m] (1).
|
|
|
289.
|
LOGIC OF EPISTEMOLOGY AND THE EPISTEMOLOGY OF LOGIC
by Hintikka, Jaakko | Hintikka, Merrill B. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xx,245 p.Publisher: Dordrecht Kluwer 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 121 H596L] (1).
|
|
|
290.
|
LOGIC DESIGN OF DIGITAL SYSTEMS
by Dietmeyer, Donald L. Edition: 3rdMaterial type: Book Description: xii,638.Publisher: Boston Allyn And Bacon c1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.381958 D567L3] (1).
|
|
|
292.
|
HANDBOOK OF PHILOSOPHICAL LOGIC
by D. No Gabbay,F. No Guenthner | Guenthner,F. Material type: Book Description: xi,493.Publisher: D. Reidel, Dordrecht c1993Availability: No items available
|
|
|
293.
|
RESOLUTION METHODS FOR THE DECISION PROBLEM
by Fermuller,C. Material type: Book Description: vii 206.Publisher: Springer-Verlag, Berlin c1993Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 L497] (1).
|
|
|
294.
|
THE LOGIC OF INFORMATION STRUCTURES
by Wansing,Heinrich. Material type: Book Description: ix,158.Publisher: Springer-Verlag, Berlin c1993Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 L497] (1).
|
|
|
295.
|
LOGIC DESIGNER'S HANDBOOK
by Parr, E. A. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xvi,484.Publisher: Oxford Newnes 1993Availability: No items available Damaged (1).
|
|
|
296.
|
MEANING AND SPEECH ACTS
by Vanderveken,Daniel. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 2v.Publisher: Cambridge Univ. Press, Cambridge 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 401.43 V286M] (1).
|
|
|
297.
|
MEANING AND SPEECH ACTS
by Vanderveken,Daniel. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 2v.Publisher: Cambridge Univ. Press, Cambridge 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 401.43 V286M] (1).
|
|
|
298.
|
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).
|
|
|
299.
|
FUNDAMENTALS OF DIGITAL LOGIC DESIGN WITH VLSI CIRCUIT APPLICATIONS
by Pucknell, Douglas A. Material type: Book Description: xiv,472.Publisher: New York Prentice-Hall c1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.38173 P961f] (1).
|
|
|
300.
|
Logical design of automation systems
by Friedman, Sander B. Material type: Book Description: ix,214p.Publisher: New Jersey Prentice Hall 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 670.427 F914l] (1).
|
