|
|
221.
|
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).
|
|
|
222.
|
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).
|
|
|
223.
|
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).
|
|
|
224.
|
DYNAMICS OF BELIEF
by Forrest, Peter. Material type: Book; Format:
print
; Literary form:
not fiction
Description: vii,213.Publisher: Oxford Basil Blackwell 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 121.6 F77d] (1).
|
|
|
225.
|
ESSAYS IN HONOUR OF JAAKKO HINTIKKA
by Saarinen, Esa. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 386.Publisher: Dordrecht D. Reidel Pub. 1979Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 100 Es73] (1).
|
|
|
226.
|
PHILOSOPHICAL THEORIES
by Lazerowitz, Morris | Ambrose, Alice. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 304.Publisher: The Hague Mouton 1976Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 101 L458p] (1).
|
|
|
227.
|
INFERRING FROM LANGUAGE
by Noordman, Leonard G. M. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 170.Publisher: Berlin Springer-Verlage 1979Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 153 N738i] (1).
|
|
|
228.
|
ONTOLOGY AND THE VICIOUS-CIRCLE PRINCIPLE
by Chihara, Charles S. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv,257.Publisher: Ithaca Cornell University Press 1973Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 C434o] (1).
|
|
|
229.
|
Model logic
: AN INTRODUCTION
by Chellas, Brian F. Material type: Book; Format:
print
; Literary form:
not fiction
Description: ii, 295p.Publisher: Cambridge University Press 1980Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 C418m] (1).
|
|
|
230.
|
ASSUMPTIONS OF GRAND LOGICS
by Feibleman, James K. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,283.Publisher: The Hague Martinus Nijhoff 1979Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 F323a] (1).
|
|
|
231.
|
BAUDDHA-TARKABHASA of MAKSAKARGUPTA
by Moksakargupta | Singh, B. N. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 134.Publisher: Varanasi Asha 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 181.043 M729bE] (1).
|
|
|
232.
|
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).
|
|
|
233.
|
REASONING WITH ARBITRARY OBJECTS
by Fine, Kit. Material type: Book; Format:
print
; Literary form:
not fiction
Description: vii,220.Publisher: Oxford Basil Blackwell 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 F493r] (1).
|
|
|
234.
|
SENSE AND CONTRADICTION
by Dancy, R. M. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii,184.Publisher: Dordrecht D. Reidel 1975Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 D196s] (1).
|
|
|
235.
|
INTRODUCTION TO LOGIC
by Copi, Irving M. Edition: 5thMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xiv,590.Publisher: New York Macmillan 1978Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 C79i5] (1).
|
|
|
236.
|
Probabilities, problems, and paradoxes;
: readings in inductive logic
by Luckenbach, Sidney A. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 310p.Publisher: California Dickenson Pub. Co. 1972Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 161 L963p] (1).
|
|
|
237.
|
INTRODUCTION TO FLUID LOGIC
by Fitch, Ernest C | Surjaatmadja, J. B. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi,328.Publisher: Washington Hemisphere Pub. 1978Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 629.8042 F552i] (1).
|
|
|
238.
|
LOGICAL SYSTEMS FOR INDUSTRIAL APPLICATIONS
by Jaczewski, Jerzy. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv,452.Publisher: Amsterdam Elsevier 1978Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 629.891 J169uE] (1).
|
|
|
239.
|
DIGITAL CIRCUITS AND LOGIC DESIGN
by Lee, S. C. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 594p.Publisher: New Delhi Prentice-Hall 1978Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.38195835 L515d] (1).
|
|
|
240.
|
DIGITAL CIRCUITS AND LOGIC DESIGN
by Lee, S. C. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 594p.Publisher: New Delhi Prentice-Hall 1978Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 621.38195835 L515d] (1).
|
