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	No cover image available
Previous	681.3 BEC Numerical calculations and algorithms	681.3 BECK Computing the continuous discretely integer-point enumeration in polyhedra	681.3 BEL Discrete Mathematics with Ducks	681.3 BEN Interactive Logic Selected Papers from the 7th Augustus de Morgan Workshop, London

There are no comments on this title.

to post a comment.

Back to results