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 4 results. Subscribe to this search

|
1. Abstract interpretation of declarative languages

by Abramsky Samson | Hankin Chris [ed.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Chichester Ellis Horwood 1987Availability: Items available for loan: [Call number: 005.13 Ab161] (1).
2. Mathematical foundations of information flow

by Abramsky Samson ed | Clifford Lectures Information Flow in Physics, Geometry, Logic and Computation | Clifford lectures information flow in physics, geometry, logic and computation Orleans, Louisiana 12-15 Mar 2008.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Providence AMS 2012Availability: Items available for loan: [Call number: 510.6PM Am512] (1).
3. 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
4. Dependence Logic [electronic resource] : Theory and Applications / edited by Samson Abramsky, Juha Kontinen, Jouko Väänänen, Heribert Vollmer.

by Abramsky, Samson [editor.] | Kontinen, Juha [editor.] | Väänänen, Jouko [editor.] | Vollmer, Heribert [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Birkhäuser, 2016Online 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