IMSc Library catalog › Details for: Johan van Benthem on Logic and Information Dynamics

Normal view MARC view ISBD view

Johan van Benthem on Logic and Information Dynamics

By: Baltag, Alexandru, EdContributor(s): Smets, Sonja, EdMaterial type: Text

TextLanguage: English Series: Outstanding contributions to Logic ; 5Publication details: Heildelberg Springer 2014Description: 1027 pISBN: 9783319060248Subject(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 BAL (Browse shelf (Opens below))		Available		75544

				No cover image available		No cover image available	Next
	681.3 BAI Principles of model checking	681.3 BAL Structural complexity II	681.3 BAL Johan van Benthem on Logic and Information Dynamics	681.3 BAN Computer management and planning	681.3 BAN Digraphs : Theory, Algorithms and Applications : (SMM)	681.3 BAR Introduction to computer science	Next

There are no comments on this title.

to post a comment.