Record:   Prev Next
作者 Huth, Michael, 1962-
書名 Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan
出版項 Cambridge [U.K.] ; New York : Cambridge University Press, 2004
國際標準書號 052154310X (pbk.)
9780521543101
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室圖書區  F4.1 H979 2004    在架上    30330000225248
版本 2nd ed
說明 xiv, 427 p. : ill. ; 25 cm
附註 Includes bibliographical references (p. 414-417) and index
主題 Computer logic
Logic programming
Alt Author Ryan, Mark, 1962-
Record:   Prev Next