Logic in computer science / Huth, Michael / Cambridge University Press - 2004

Public ISBD No review available on this record. Title : Logic in computer science : modelling and reasoning about systems Material Type: printed text Authors: Huth, Michael (1962-), Author ; Ryan, Mark (1962-), Associated Name Edition statement: 2nd ed. Publisher: Cambridge University Press Publication Date: 2004 Pagination: xiv, 427 p. Layout: ill., pbk. Size: 25 cm. ISBN (or other code): 052154310X Price: 1764 Baht Languages : English (eng) Descriptors: [LCSH]Computer logic [LCSH]Logic programming (Computer science) Curricular : BSCS/BSMT/MSIT/PhDT Record link: http://libsearch.siu.ac.th/siu/opac_css/index.php?lvl=notice_display&id=10579 Logic in computer science : modelling and reasoning about systems [printed text] / Huth, Michael (1962-), Author ; Ryan, Mark (1962-), Associated Name  . -  2nd ed. . - Cambridge, UK, New York : Cambridge University Press, 2004 . - xiv, 427 p. : ill., pbk. ; 25 cm. ISBN : 052154310X : 1764 Baht Languages : English (eng) Descriptors: [LCSH]Computer logic [LCSH]Logic programming (Computer science) Curricular : BSCS/BSMT/MSIT/PhDT Record link: http://libsearch.siu.ac.th/siu/opac_css/index.php?lvl=notice_display&id=10579

Hold

Place a hold on this item

Copies

Barcode	Call number	Media type	Location	Section	Status
32002000174894	QA76.9.L63 H979 2004 c.1	Book	Graduate Library	General Shelf	Available
32002000174902	QA76.9.L63 H979 2004 c.2	Book	Main Library	General Shelf	Available