Your search returned 4 results.

Not what you expected? Check for suggestions
BOOKS
Logic at Botik '89 Proceedings Symposium, Pereslavl-Zalessky, USSR, 1989

by Meyer, A R. Ed | Taitslin, M A. Ed.

Series: Lecture notes in computer science ; 00363Material 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: 8 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
Logical Foundations for Cognitive Agents : (AI) Contributions in honor of Ray Reiter

by Levesque, Hector J. Ed | Pirri, Fiora. Ed.

Series: Artificial IntelligenceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 8 Call number: 681.3 LEV.

Place hold Log in to add tags
BOOKS
Logical foundations of mathematics and computational complexity A gentle introduction

by Pudl�k, Pavel.

Series: Springer monographs in mathematicsMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; Springer ; 2013Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 15 Call number: 681.3 PUD.

Place hold Log in to add tags
E-BOOKS
Mathematical foundations of information flow : [electronic resource] Clifford Lectures Information Flow in Physics, Geometry, and Logic and Computation, March 12-15, 2008, Tulane University, New Orleans, Louisiana / Samson Abramsky, Michael Mislove, editors.

by Clifford Lectures Information Flow in Physics, Geometry, and Logic and Computation (2008 : New Orleans, La.) | Clifford, A. H. (Alfred Hoblitzelle), 1908- | Abramsky, Samson, 1953- | Mislove, Michael W | Tulane University. Department of Mathematics.

Series: Proceedings of symposia in applied mathematics ; v. 71Material 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
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha