MARC 主機 00000cam  22003134a 4500 
001    13550178 
005    20120724091832.0 
008    040407s2004    enka     b    001 0 eng   
010    004045921 
020    052154310X (pbk.) 
020    9780521543101 
040    DLC|cDLC|dDLC|dAS|dIIS 
042    pcc 
050 00 QA76.9.L63|bH88 2004 
082 00 005.1/01/5113|222 
100 1  Huth, Michael,|d1962- 
245 10 Logic in computer science :|bmodelling and reasoning about
       systems /|cMichael Huth, Mark Ryan 
250    2nd ed 
260    Cambridge [U.K.] ;|aNew York :|bCambridge University Press,
       |c2004 
300    xiv, 427 p. :|bill. ;|c25 cm 
504    Includes bibliographical references (p. 414-417) and index
650  0 Computer logic 
650  0 Logic programming 
700 1  Ryan, Mark,|d1962- 
856 41 |zSample text|uhttp://www.loc.gov/catdir/samples/cam041/
       2004045921.html 
856 41 |zTable of contents|uhttp://www.loc.gov/catdir/toc/cam041/
       2004045921.html 
856 42 |zPublisher description|uhttp://www.loc.gov/catdir/
       description/cam041/2004045921.html 
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室圖書區  F4.1 H979 2004    在架上    30330000225248