Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan.
By: Huth, Michael
Contributor(s): Ryan, Mark
Language: İngilizce Publisher: Cambridge [U.K.] ; New York : Cambridge University Press, 2004Edition: 2nd edDescription: xiv, 427 p. : ill. ; 25 cmISBN: 052154310X (pbk.)Subject(s): Logic programming | Computer logic | Bilgisayar mantığıLOC classification: QA76.9.L63 | H88 2004Online resources: Sample textItem type | Current location | Home library | Collection | Call number | Vol info | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|---|---|
Reserve-3h | Merkez Kütüphane Ayrılmış Ders Kitapları / Course Reserves | Merkez Kütüphane | Ayrılmış ders kitapları | RES QA76.9.L63 H88 2004 (Browse shelf) | 1 | 1 | Available | 0017043 |
There are no comments for this item.