IMSc Library catalog › Details for: Logic in Computer Science : Modelling and Reasoning about Systems

Normal view MARC view ISBD view

Logic in Computer Science : Modelling and Reasoning about Systems

By: Huth, Michael | Ryan, MarkMaterial type: Text

TextPublication details: Cambridge ; CUP ; 2000Description: 387ISBN: 0521656028Subject(s): Computer Logic

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 HUTH (Browse shelf (Opens below))		Available		42786

Previous
Previous	681.3 HRO Algorithmics for Hard Problems : Combinatorial Optimization, Randomization, Approximation, and Heuristics : (TTCS)	681.3 HUE Logical Environments	681.3 HUS Neural Networks for conditional probability estimation	681.3 HUTH Logic in Computer Science : Modelling and Reasoning about Systems	681.3 HUTH Logic in Computer Science	681.3 HWU GPU computing gems

There are no comments on this title.

to post a comment.