Normal view MARC view ISBD view

Logic in computer science : modelling and reasoning about systems Huth, Michael and Ryan, Mark

By:

Material type: Text

TextLanguage: English Publication details: Cambridge 2004Edition: 2nd edDDC classification:

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	Date due	Barcode	Item holds
Books	Nalanda Library Circulation Books	006.3 T04 HUT.R (Browse shelf(Opens below))	Available		6442

Total holds: 0

Previous	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	Next
Previous	006.3 T03 RUS.N Artificial Intelligence: A modern approach	006.3 T03 RUS.N Artificial Intelligence: A modern approach	006.3 T04 BRA.D Artificial intelligence applications and inovations	006.3 T04 HUT.R Logic in computer science : modelling and reasoning about systems	006.3 T06 BIS Pattern recognition and machine learning	006.3 T06 BIS Pattern recognition and machine learning	006.3 T06 BIS Pattern recognition and machine learning	Next

There are no comments on this title.

to post a comment.