IMSc Library catalog › Details for: Interactive Logic Selected Papers from the 7th Augustus de Morgan Workshop, London

Normal view MARC view ISBD view

Interactive Logic Selected Papers from the 7th Augustus de Morgan Workshop, London

By: Benthem, Johan VanContributor(s): Gabbay, Dov | Benedikt LoweMaterial type: Text

TextLanguage: English Series: Texts in Logic and Games ; 1Publication details: The Netherlands Amsterdam University Press 2007Description: 362 pISBN: 9789053563564Subject(s): Computer Science

Item type:

BOOKS

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Current library	Home library	Call number	Materials specified	Status	Date due	Barcode
IMSc Library	IMSc Library	681.3 BEN (Browse shelf (Opens below))		Available		75537
IMSc Library	IMSc Library	681.3 BEN (Browse shelf (Opens below))		Available		75538

Previous								Next
Previous	681 LNCS Lectures on logic and computation ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011 Ljubljana, Slovenia, August 2011, Selected Lecture Notes	681 LNCS Parameterized and exact computation 4th International workshop, IWPEC 2009 Copenhagan, Denmark, september 2009 revised selected papers	681 LNCS Parameterized and exact computation:	681.3 BEN Interactive Logic Selected Papers from the 7th Augustus de Morgan Workshop, London	681.3 LOD Perspectives in concurrency theory	681.3 LOD Perspectives in Concurrency Theory festschrift for P. S. Thiagarajan	681.3 TRE Approximation theory and approximation practice	Next

There are no comments on this title.

to post a comment.