|
|
441.
|
HANDBOOK OF LOGIC IN ARTIFICIAL INTELLIGENCE AND LOGIC PROGRAMMING
by Dov M. Gabbay,C. J. Hogger,J. A. Robinson | Robinson,J. A. Material type:  Book; Format:
print
; Literary form:
not fiction
Description: xv,799.Publisher: Clarendon Press, Oxford 1998Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.33 H192] (1).
|
|
|
442.
|
LOGIC-BASED METHODS FOR OPTIMIZATION
by Hooker,John. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvi,495.Publisher: John Wiley, New York 2000Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.72 H764L] (1).
|
|
|
443.
|
FORMAL PRAGMATICS
by Kadmon,Nirit. Material type: Book; Format:
print
; Literary form:
not fiction
Description: ix,430.Publisher: Blackwell Publishing Ltd., Malden 2001Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 306.44 K114F] (1).
|
|
|
444.
|
LECTURES IN LOGIC AND SET THEORY
by Tourlakis,George. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv,575.Publisher: Cambridge Univ. Press, Cambridge 2003Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 T646L] (1).
|
|
|
445.
|
INTRODUCTION TO FORMAL LOGIC
by Smith,Peter. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii,357.Publisher: Cambridge Univ. Press,Cambridge 2003Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 SM63I] (6).
|
|
|
446.
|
LECTURES ON MATHEMATICAL LOGIC
by Felscher,Walter. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,282.Publisher: Gordon And Breach Science Publishers, Australia 2000Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 F338L] (1).
|
|
|
447.
|
LECTURES ON MATHEMATICAL LOGIC
by Felscher,Walter. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,282.Publisher: Gordon And Breach Science Publishers, Australia 2000Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 F338L] (1).
|
|
|
448.
|
LECTURES ON MATHEMATICAL LOGIC
by Felscher,Walter. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,282.Publisher: Gordon And Breach Science Publishers, Australia 2000Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 F338L] (1).
|
|
|
449.
|
THE LOGICAL STATUS OF DIAGRAMS
by Shin,Sun-Joo. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi,197.Publisher: Cambridge Univ. Press, Cambridge 1994Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.33 SH63L] (1).
|
|
|
450.
|
MODAL LOGIC FOR PHILOSOPHERS
by Garson,James W. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv,455.Publisher: Cambridge Univ. Press,Cambridge 2006Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 G195M] (1).
|
|
|
451.
|
PROBLEMS IN SET THEORY, MATHEMATICAL LOGIC AND THE THEORY OF ALGORITHMS
by Lavrov,Igor | Maksimova,Larisa. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii,282.Publisher: Kluwer Academic / Plenum Publishers, New York 2003Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.322 L399P] (1).
|
|
|
452.
|
COURSE ON BUSINESS INTELLIGENCE FOR DECISION MAKING
: NEURAL NETWORK, AHP & FUZZY LOGIC
by . Material type: Book; Literary form: Publisher: Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.333019 C834] (1).
|
|
|
453.
|
DIGITAL DESIGN AND COMPUTER ORGANIZATION
by Farhat,Hassan A. Material type: Book; Format:
print
; Literary form:
not fiction
Description: [xxii],487.Publisher: Crc Press, Boca Raton 2004Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.22 F225D] (1).
|
|
|
454.
|
HANDBOOK OF LOGIC IN COMPUTER SCIENCE
by Gabbay,Dov M | Maibaum,T S E. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xviii,537.Publisher: Clarendon Press,Oxford 2000Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004 H191A] (1).
|
|
|
455.
|
FUNDAMENTALS OF LOGIC DESIGN
by Roth,Charles H. Edition: 2Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvii,627.Publisher: West Pub. Co., St. Paul 1979Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.395 R742F2] (1).
|
|
|
456.
|
FUNDAMENTALS OF LOGIC DESIGN
by Roth,Charles H. Edition: 3Material type: Book; Format:
print
; Literary form:
not fiction
Description: xviii,676.Publisher: West Pub. Co., St. Paul 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.395 R742F3] (1).
|
|
|
457.
|
FALLACIES AND ARGUMENT APPRAISAL
by Tindale,Christopher W. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvii,218.Publisher: Cambridge Univ. Press, Cambridge 2007Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 165 T492F] (1).
|
|
|
458.
|
SWITCHING THEORY
by Vingron,Shimon P. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 428.Publisher: Springer-Verlag, Berlin 2004Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.3815372 V75S] (1).
|
|
|
459.
|
DYNAMIC LOGIC
by Harel,David,Kozen,Dexter | Tiuryn,Jerzy. Material type: Book Description: xv,459.Publisher: Mit Press, Cambridge c2000Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.015113 H222D] (1).
|
|
|
460.
|
FUZZY LOGIC IN MANAGEMENT
by Carlsson,Christer,Fedrizzi,Mario | Fuller,Robert. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvi,276.Publisher: Kluwer Academic Publishers, Boston 2004Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 658.001511313 C197F] (1).
|
