Logic in computer science : modelling and reasoning about systems
By: Huth, Michael.
Contributor(s): Ryan, Mark.
Material type:
BookPublisher: Cambridge: Cambridge University Press, 2010Edition: 2nd ed.Description: xiv, 427 p.; ill.: 25 cm.ISBN: 9780521670890 .Subject(s): Computer logic | Propositional logic | Predicate logic | Logic programming | Binary decision diagrams | Natural deductionDDC classification: 005.1
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 005.1 HUT (Browse shelf) | Available | 026011 | ||
| Books | 005.1 HUT (Browse shelf) | Available | 026012 |
There are no comments for this item.