|
|
401.
|
DESIGN OF HIGH - PERFORMANCE MICROPROCESSOR CIRCUITS
by Anantha No Chandrakasan,William J Bowhill,Frank No Fox | Fox,Frank. Material type:  Book Description: xx,557.Publisher: Ieee Press,New York c2001Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.3815 D46] (1).
|
|
|
402.
|
Computational logic
by | Schwichtenberg, Helmut, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 444p.Publisher: Berlin Springer-Verlag 1999Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.01 C738] (1).
|
|
|
403.
|
UNDERSTANDING SYMBOLIC LOGIC
by Klenk,Verginia. Edition: 4thMaterial type: Book Description: xv,447.Publisher: Prentice Hall, New Jersey c2002Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 K677U4] (1).
|
|
|
404.
|
FUZZY MODELING AND GENETIC ALGORITHMS FOR DATA MINING AND EXPLORATION
by Cox,Earl. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxi,530.Publisher: Elsevier, Amsterdam 2005Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.312 C839F] (1).
|
|
|
405.
|
CONDITIONALS IN NONMONOTONIC REASONING AND BELIEF REVISION.
by Kern - Isberner,Gabriele. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,190.Publisher: Springer-Verlag,Berlin 2001Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 L497 v.2087] (1).
|
|
|
406.
|
The Logic programming paradigm
: a 25-year perspective
by Apt, K. R [ed.] | Marek, V. W [ed.] | Truszczynski, M [ed.] | Warren, D. S [ed.]. Material type: Book Description: xvi, 456p.Publisher: Berlin Springer 1999Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.115 L828a] (1).
|
|
|
407.
|
MATHEMATICAL INTRODUCTION TO LOGIC
by Enderton,Herbert B. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xii,317.Publisher: Harcourt Academic Press, San Diego 2001Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 EN21M2] (1).
|
|
|
408.
|
EVOLUTION OF REASON
by Cooper,William S. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,226.Publisher: Cambridge Univ. Press, Cambridge 2001Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 570.1 C788E] (1).
|
|
|
409.
|
HYPERPROOF FOR THE MACINTOSH
by Barwise,Jon | Etchemendy,John. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvii,255.Publisher: Center For The Study Of Language And Information 1994Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160.2855369 B289H] (1).
|
|
|
410.
|
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,511.Publisher: Clarendon Press, Oxford 1994Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.33 H192G] (1).
|
|
|
411.
|
NONLINEAR BIOMEDICAL SIGNAL PROCESSING
by Akay,Metin. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvi,259.Publisher: Ieee Press, New York 2000Availability: No items available Checked out (1).
|
|
|
412.
|
NONLINEAR BIOMEDICAL SIGNAL PROCESSING
by Akay,Metin. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvi,259.Publisher: Ieee Press, New York 2000Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 610.285632 N731A] (1).
|
|
|
413.
|
CMOS LOGIC CIRCUIT DESIGN
by Uyemura, John P. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xviii, 528p.Publisher: Boston Kluwer Academic Publishers 1999Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.39732 Uy3c] (1).
|
|
|
414.
|
UNCERTAIN RULE-BASED FUZZY LOGIC SYSTEMS
: INTRODUCTION AND NEW DIRECTIONS
by Mendel, Jerry M. Material type: Book Description: xx, 555p.Publisher: New Jersey Prentice Hall c2001Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.1 M522u] (1).
|
|
|
415.
|
FUZZY LOGIC
: INTELLIGENCE, CONTROL, AND INFORMATION
by Yen, John | Langari, Reza. Material type: Book Description: xxiv, 548p.Publisher: New Jersey Prentice Hall c1999Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 Ye39f] (1).
|
|
|
416.
|
LOGIC BASED 0-1 CONSTRAINT PROGRAMMING
by Barth,Peter. Material type: Book Description: xiv,253.Publisher: Kluwer Academic Publishers,Boston c1996Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.77028511 B282L] (1).
|
|
|
417.
|
PREDICATE LOGIC.
by Epstein,Richard L. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 412.Publisher: Wadsworth/Thomson Learning, Australia 2001Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 EP85P] (1).
|
|
|
418.
|
LOGIC AT WORK
by Ewa Orlowska | Orlowska,Ewa. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvi,694.Publisher: Physica Verlag Gmbh, Heidelberg 1999Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 L828] (1).
|
|
|
419.
|
MATHEMATICS ACROSS CULTURES
by Selin,Helaine | D'Ambrosio,Ubiratan. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xx,479.Publisher: Kluwer Academic Publishers, Dordrecht 2000Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 M42] (1).
|
|
|
420.
|
MODALITY AND TENSE
by Fine,Kit. Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Clarendon Press,Oxford 2005Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 F493M] (1).
|
