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