Your search returned 18 results.

Not what you expected? Check for suggestions
BOOKS
No cover image available
Handbook of Logic in Computer Science, Vols.1 - 5 1.Background: Mathematical Structures; 2.Background: Computational Structures; 3. Semantic Structures; 4. Semantic Modelling; 5. Logic and Algebraic Methods

by Abramsky, S. Ed | Gabbay, Dov M. Ed | Maibaum, T S E. Ed.

Series: Handbook of Logic in Computer Science, Vols.1 - 5Material type: Text Text;Language: ; Format: print Publication details: Oxford ; Oxford Univ. Press ; 1992 - 1995;2000Availability: Items available for loan: IMSc Library (5). Location(s): First Floor, Rack No: 20, Shelf No: 11 Call number: 681.3(02) ABR.

Place hold Log in to add tags
BOOKS
Temporal Logic: Mathematical Foundations and Computational Aspects, Vol.1

by Gabbay, Dov M | Hodkinson, Ian | Reynolds, Mark.

Series: Oxford Logic Guides, 28Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Oxford ; OUP ; 1994Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 2 Call number: 510.6 GAB.

Place hold Log in to add tags
BOOKS
No cover image available
Handbook of Logic in Artificial Intelligence and Logic Programming, Vols.1 - 4 Vol.1: Logical Foundations; Vol.2: Deduction Methodologies;Vol.3: Nonmonotonic Reasoning and Uncertain Reasoning; Vol.4: Epistemic and Temporal Reasoning;

by Gabbay, Dov M. Ed | Hogger, C J. Ed | Robinson, J A. Ed.

Series: Handbook of Logic in Artificial Intelligence and Logic Programming, Vols.1 - 4Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Oxford ; Oxford Univ. Press ; 1994Availability: Items available for loan: IMSc Library (4). Location(s): First Floor, Rack No: 20, Shelf No: 12 Call number: 681.3(02) GAB.

Place hold Log in to add tags
BOOKS
Handbook of Logic in Artificial Intelligence and Logic Programming, Vol.5 : Logic Programming

by Gabbay, Dov M. Ed | Hogger, C J. Ed | Robinson, J A. Ed.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Oxford ; OUP ; 1998Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 20, Shelf No: 12 Call number: 681.3(02) GAB.

Place hold Log in to add tags
BOOKS
Labelled Deductive Systems, Vol.1

by Gabbay, Dov M.

Series: Oxford Logic Guides, 33Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; OUP ; 1996Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 2 Call number: 510.6 GAB.

Place hold Log in to add tags
BOOKS
Temporal Logic Mathematical Foundations and Computational Aspects, Vol.2

by Gabbay, Dov M | Reynolds, Mark A | Finger, Marcelo.

Series: Oxford Logic Guides : 40Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Oxford Oxford University Press 2000Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 2 Call number: 510.6 GAB.

Place hold Log in to add tags
BOOKS
Approaches to Legal Rationality

by Gabbay, Dov.M, Ed,etal.

Series: Logic, Epistemology, and the Unity of Science, Vol; 0020Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New York ; springer ; 2010Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No:28 Shelf No:2 Call number: 510.6 GAB.

Place hold Log in to add tags
BOOKS
Logical Tools for Handling Change in Agent Based Systems

by Gabbay, Dov, M | Schlechta, Karl.

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

Place hold Log in to add tags
BOOKS
Handbook of philosophical logic: (Vol.13) - 2010

by Gabbay, Dov, M Ed | Guenthner, F.

Series: Handbook of philosophical logic; 00013Edition: 2Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; Springer ; 2010Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 18, Shelf No: 4 Call number: 510.6(02) GAB.

Place hold Log in to add tags
BOOKS
Handbook of philosophical logic: (Vol.14) - 2007

by Gabbay, Dov, M Ed | Guenthner, F.

Series: Handbook of philosophical logic; 00014Edition: 2Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; Springer ; 2007Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 18, Shelf No: 4 Call number: 510.6(02) GAB.

Place hold Log in to add tags
BOOKS
Handbook of philosophical logic: (Vol.15) - 2011

by Gabbay, Dov, M Ed | Guenthner, F.

Series: Handbook of philosophical logic; 00015Edition: 2Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; Springer ; 2011Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 18, Shelf No: 4 Call number: 510.6(02) GAB.

Place hold Log in to add tags
BOOKS
Handbook of philosophical logic: (Vol.16) - 2011

by Gabbay, Dov, M Ed | Guenthner, F.

Series: Handbook of philosophical logic; 00016Edition: 2Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; Springer ; 2011Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 18, Shelf No: 4 Call number: 510.6(02) GAB.

Place hold Log in to add tags
BOOKS
Handbook of philosophical logic Vol.12

by Gabbay, Dov M | Guenthner, F.

Series: Handbook of philosophical logic; 00012Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; Springer ; 2005Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 18, Shelf No: 4 Call number: 510.6(02) GAB.

Place hold Log in to add tags
BOOKS
Functional interpretation of logical deduction

by Queiroz, Ruy, J G B De | Oliveira, Anjolina, G De | Gabbay, Dov M.

Series: Advances in logic ; 00005Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Singapore ; World scientific ; 2012Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 7 Call number: 510.6 QUE.

Place hold Log in to add tags
E-BOOKS
Temporal Logic [electronic resource] : First International Conference, ICTL'94 Bonn, Germany, July 11–14, 1994 Proceedings / edited by Dov M. Gabbay, Hans Jürgen Ohlbach.

by Gabbay, Dov M [editor.] | Ohlbach, Hans Jürgen [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 827Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Practical Reasoning [electronic resource] : International Conference on Formal and Applied Practical Reasoning, FAPR'96 Bonn, Germany, June 3–7, 1996 Proceedings / edited by Dov M. Gabbay, Hans Jürgen Ohlbach.

by Gabbay, Dov M [editor.] | Ohlbach, Hans Jürgen [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1085Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Qualitative and Quantitative Practical Reasoning [electronic resource] : First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97 Bad Honnef, Germany, June 9–12, 1997 Proceedings / edited by Dov M. Gabbay, Rudolf Kruse, Andreas Nonnengart, Hans Jürgen Ohlbach.

by Gabbay, Dov M [editor.] | Kruse, Rudolf [editor.] | Nonnengart, Andreas [editor.] | Ohlbach, Hans Jürgen [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1244Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
BOOKS
A New Perspective on Nonmontonic Logics

by Gabbay, Dov. M | Schlechta, Karl.

Material type: Text Text Publication details: New York Springer 2016Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 2 Call number: 510.6 GAB.

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

Powered by Koha