|
|
|
Reasoning about knowledge by Fagin, Ronald | Halpern, Joseph Y | Moses, Yoram | Vardi, Moshe Y. Material type: 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.
|
|
|
|
|
|
|
|
|
|
|
|
Automated Reasoning, Handbook of- : Vols. I & II by Robinson, Alan. Ed | Voronkov, Andrei. Ed. Material type: 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.
|
|
|
|
|
|
|
|
Logical leap Induction in physics by Harriman, David. Material type: 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.
|
|
|
|
Elements of logical reasoning by Plato Jan Von. Material type: 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.
|
|
|
|
|
|
|
|
Critical thinking Introduction by Fisher, Alec. Material type: 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.
|
|
|
|
Thinking fast and slow by Kahneman, Daniel. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: New delhi ; Penguin books ; 2011Availability: No items available : Checked out (1).
|
|
|
|
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;Language: English; Format:
available online
; 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): .
|
|
|
|
Logic in Computer Science Modelling and Reasoning about Systems by Huth, Michael | Ryan, Mark. Edition: 2ndMaterial type: 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.
|
|
|
|
|