Online Public Access Catalogue (OPAC)
Library,Documentation and Information Science Division

“A research journal serves that narrow

borderland which separates the known from the unknown”

-P.C.Mahalanobis


Your search returned 12 results. Subscribe to this search

|
1. Handbook of tableau methods

by Agostino Marcello D [ed.] | Gabbay Dov M [ed.] | Hahnle Reiner [ed.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Dordrecht Kluwer Academic 1999Availability: Items available for loan: [Call number: 511.3 Ag275] (1).
2. Fibring logics

by Gabbay Dov M.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Oxford Clarendon Press 1999Availability: Items available for loan: [Call number: 511.3 G112] (1).
3. Temporal logic mathematical foundations and computational aspects

by Gabbay Dov M | Finger Marcelo [Auth.] | Reynolds Mark A [Auth.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Oxford Clarendon Press 2000Availability: Items available for loan: [Call number: 511.3 G112] (1).
4. Logic and algebraic methods

by Abramsky S [ed.] | Gabbay Dov M [ed.] | Maibaum T S E [ed.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Oxford Clarendon Press 2000Availability: Items available for loan: [Call number: 511.3 Ab161] (1).
5. Mathematical problems from applied logic II logics for the XXIst century

by Gabbay Dov M [ed.] | Goncharov Sergei S [ed.] | Zakharyaschev Michael [ed.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: New York Springer-Verlag 2007Availability: Items available for loan: [Call number: 511.3 G112] (1).
6. Handbook of the logic of argument and inference the turn towards the practical

by Gabbay Dov M [ed.] | Johnson Ralph H [ed.] | Ohlbach Hans Jurgen [ed.] | Woods John [ed.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Amsterdam Elsevier 2002Availability: Items available for loan: [Call number: 511.3 G112] (1).
7. Interactive logic [electronic resource] : selected papers from the 7th Augustus de Morgan Workshop, London / edited by Johan Van Benthem, Dov Gabbay, Benedikt L�owe.

by Augustus De Morgan Workshop (7th : 2005 : London, England) | Benthem, J. F. A. K. van, 1949- | L�owe, Benedikt | Gabbay, Dov M, 1945-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Amsterdam : Amsterdam Univsity Press, c2007Online access: EBSCOhost Availability: No items available
8. Handbook of logic in artificial intelligence and logic programming. Volume 5, Logic programming [electronic resource] / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson.

by Gabbay, Dov M, 1945- | Hogger, Christopher John | Robinson, J. A. (John Alan).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Oxford : Oxford ; New York : Clarendon Press ; Oxford University Press, 1998Other title: Logic programming.Online access: EBSCOhost Availability: No items available
9. Handbook of logic in computer science. Volume 5, Logic and algebraic methods [electronic resource] / edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum ; volume co-ordinator, Dov M. Gabbay.

by Abramsky, Samson, 1953- | Gabbay, Dov M, 1945- | Maibaum, Thomas S. E, 1947-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Oxford : New York : Clarendon Press ; Oxford University Press, 2000Other title: Logic and algebraic methods.Online access: EBSCOhost Availability: No items available
10. Mathematical Problems from Applied Logic I [electronic resource] : Logics for the XXIst Century / edited by Dov M. Gabbay, Sergei S. Goncharov, Michael Zakharyaschev.

by Gabbay, Dov M [editor.] | Goncharov, Sergei S [editor.] | Zakharyaschev, Michael [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2006Online access: Click here to access online Availability: Items available for loan: (1).
11. Mathematical Problems from Applied Logic II [electronic resource] : Logics for the XXIst Century / edited by Dov M. Gabbay, Michael Zakharyaschev, Sergei S. Goncharov.

by Gabbay, Dov M [editor.] | Zakharyaschev, Michael [editor.] | Goncharov, Sergei S [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2007Online access: Click here to access online Availability: No items available
12. Analysis and Synthesis of Logics [electronic resource] : How to Cut and Paste Reasoning Systems / by Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas.

by Carnielli, Walter [author.] | Coniglio, Marcelo [author.] | Gabbay, Dov M [author.] | Gouveia, Paula [author.] | Sernadas, Cristina [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2008Online access: Click here to access online Availability: No items available
Library, Documentation and Information Science Division, Indian Statistical Institute, 203 B T Road, Kolkata 700108, INDIA
Phone no. 91-33-2575 2100, Fax no. 91-33-2578 1412, ksatpathy@isical.ac.in


Visitor Counter