Your search returned 13 results.

Not what you expected? Check for suggestions
BOOKS
Reasoning about knowledge

by Fagin, Ronald | Halpern, Joseph Y | Moses, Yoram | Vardi, Moshe Y.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; MIT Press ; 1996Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 47 Call number: 681.3 FAG.

Place hold Log in to add tags
BOOKS
Non-Monotonic Reasoning Proceedings, 2nd Int.Workshop, Grassau, FRG, 1988

by Reinfrank, M. et al Eds.

Series: Lecture notes in artificial intelligence ; 00346Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1989Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 7 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
Automated Reasoning with Analytic Tableaux and Related Methods, Proceedings of the International Conference, St.Andrews, Scotland, UK, 2000

by Dyckhoff, Roy. Ed.

Series: Lecture notes in artificial intelligence ; 01847Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 2000Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 24 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
Automated Reasoning, Handbook of- : Vols. I & II

by Robinson, Alan. Ed | Voronkov, Andrei. Ed.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Netherlands ; North-Holland ; 2001Availability: Items available for loan: IMSc Library (2). Location(s): First Floor, Rack No: 18, Shelf No: 4 Call number: 510.6(02) ROB.

Place hold Log in to add tags
BOOKS
Logic programming and nonmonotonic reasoning, Proceedings of the 6th International Conference, Austria, 2001

by Eiter, Thomas. Ed | Faber, Wolfgang. Ed | Truszczynski, Miroslaw. Ed.

Series: Lecture notes in artificial intelligence ; 02173Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 26 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
Logical leap Induction in physics

by Harriman, David.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; New American library ; 2010Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 37, Shelf No: 10 Call number: 53 HAR.

Place hold Log in to add tags
BOOKS
Elements of logical reasoning

by Plato Jan Von.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; CUP ; 2013Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 38, Shelf No: 33 Call number: 530.12 PLA.

Place hold Log in to add tags
BOOKS
Excellent sheep The miseducation of the American Elite and the way to a meaningful life

by Deresiewicz, William.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; Free press ; 2014Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 4, Shelf No: 3 Call number: 338 DER.

Place hold Log in to add tags
BOOKS
Critical thinking Introduction

by Fisher, Alec.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; Cambridge University ; 2012Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 4, Shelf No: 3 Call number: 338 FIS.

Place hold Log in to add tags
BOOKS
Thinking fast and slow

by Kahneman, Daniel.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New delhi ; Penguin books ; 2011Availability: No items available : Checked out (1).

Place hold Log in to add tags
E-BOOKS
Advances in applied and computational topology : [electronic resource] American Mathematical Society Short Course on Computational Topology, January 4-5, 2011, New Orleans, Louisiana / Afra Zomorodian, editor.

by American Mathematical Society. Short Course on Computational Topology (2011 : New Orleans, La.) | Zomorodian, Afra J, 1974-.

Series: Proceedings of symposia in applied mathematics ; v. 70Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction Publication details: Providence, R.I. : American Mathematical Society, c2012Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
BOOKS
Logic in Computer Science Modelling and Reasoning about Systems

by Huth, Michael | Ryan, Mark.

Edition: 2ndMaterial type: Text Text Publication details: New York Cambridge University Press 2005Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 3 Call number: 681.3 HUTH.

Place hold Log in to add tags
BOOKS
Theoretical aspects of reasoning about knowledge proceedings of the 1986 conference, March 19-22, 1986, Monterey, California

by Halpern, Joseph Y | Halpern, Joseph Y.

Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Los Altos, California Morgan. Kaufmann Publishers 1986Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 1 Call number: 681.3 HAL.

Place hold Log in to add tags
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha