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


Image from Google Jackets

Logics in computer science: a study on extensions of temporal and strategic logics/ Fabio Mogavero

By: Material type: TextTextPublication details: Paris: Atlantis Press, 2013Description: xvii,149 pages, 23.5 cmISBN:
  • 9789491216947
Subject(s): DDC classification:
  • 005.1015113 M696
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Item type Current library Call number Status Notes Date due Barcode Item holds
Books ISI Library, Kolkata 005.1015113 M696 (Browse shelf(Opens below)) Available Gifted by Prof Sankar Kumar Pal (CSCR) C27119
Total holds: 0

Includes bibliography and index

There are no comments on this title.

to post a comment.
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