|
|
1.
|
HANDBOOK OF THE LOGIC OF ARGUMENT AND INFERENCE
by Dov M Gabbay,No | Gabbay,Dov M. Material type:  Book; Format:
print
; Literary form:
not fiction
Description: x,498.Publisher: Elsevier, Amsterdam 2002Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 H191G] (1).
|
|
|
2.
|
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).
|
|
|
3.
|
HANDBOOK OF LOGIC IN ARTIFICIAL INTELLIGENCE AND LOGIC PROGRAMMING
by Gabbay,Dov M. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii,518.Publisher: Clarendon Press,Oxford 1993Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.33 H192] (1).
|
|
|
4.
|
HANDBOOK OF LOGIC IN COMPUTER SCIENCE
by 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).
|
|
|
5.
|
HANDBOOK OF THE HISTORY OF LOGIC
by Gabbay,Dov M | Woods,John. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii,618.Publisher: Elsevier,Amsterdam 2004Availability: No items available
|
|
|
6.
|
Revision, acceptability and context
: theoretical and algorithmic aspects
by Gabbay, Dov M | Rodrigues, Odinaldo T. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x, 385p.Publisher: Berlin Springer-Verlag 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.3 G111r] (1).
|
|
|
7.
|
Conditionals and modularity in general logics
by Gabbay, Dov M | Schlechta, Karl. Material type: Book; Format:
print
; Literary form:
not fiction
Description: ix, 233p.Publisher: Berlin Springer 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 G111c] (1).
|
|
|
8.
|
Mathematical Problems from Applied Logic I
: Logics for the XXIst Century /
: [electronic resource] :
by Gabbay, Dov M [editor.1] | Goncharov, Sergei S [editor.1] | Zakharyaschev, Michael [editor.2] | SpringerLink (Online service)0. Source: Springer eBooks0Material type: Book; Format:
electronic
available online
 ; Literary form:
not fiction
Description: XXVIII, 348 p. 50 illus. online resource.Publisher: New York, NY : Springer New York, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
9.
|
Analysis and Synthesis of Logics
: How to Cut and Paste Reasoning Systems /
: [electronic resource] :
by Carnielli, Walter [author.] | Coniglio, Marcelo [author.] | Gabbay, Dov M [author.] | Gouveia, Paula [author.] | Sernadas, Cristina [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 602 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
