|
|
1.
|
PROOF THEORY AND AUTOMATES DEDUCTION
by Goubault-Larrec,Jean | Mackie,Ian. Material type:  Book; Format:
print
; Literary form:
not fiction
Description: xv,424.Publisher: Kluwer Academic Publishers, Dordrecht 1997Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 G72P] (1).
|
|
|
2.
|
Frontiers in belief revision
by Williams, Mary-Anne [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: vii, 451p.Publisher: Dordrecht Kluwer 2001Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 121.6 F928] (1).
|
|
|
3.
|
Proof theory for fuzzy logics
by Metcalfe, George | Olivetti, Nicola. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii, 276p.Publisher: [S.L.] Springer 2009Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.313 M565p] (1).
|
|
|
4.
|
Hybrid logic and its proof-theory
by Brauner, Torben. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii, 231p.Publisher: Berlin Springer 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 B738h] (1).
|
|
|
5.
|
A Modern Perspective on Type Theory
: From its Origins until Today /
: [electronic resource] :
by Kamareddine, Fairouz [author.] | Laan, Twan [author.] | Nederpelt, Rob [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
 ; Literary form:
not fiction
Description: XIV, 360 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
6.
|
Reasoning Robots
: The Art and Science of Programming Robotic Agents /
: [electronic resource] :
by Thielscher, Michael [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 328 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
7.
|
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).
|
