机读格式显示(MARC)

• 000 01210pam a2200337 a 4500

• 001 0000605392

• 003 CAL

• 005 20220223164300.0

• 006 m_ d

• 007 cr cn

• 008 040407s2004 enka sb 001 0 eng

• 010 __ |a 2004045921

• 020 __ |a 9780511261589 (eISBN)

• 020 __ |a 9780521543101

• 040 __ |a DLC |c DLC |d DLC

• 042 __ |a pcc

• 050 00 |a QA76.9.L63 |b H88 2004

• 082 00 |a 005.1/01/5113 |2 22

• 093 __ |a TP302 |2 4

• 093 __ |a O141 |2 4

• 100 1_ |a Huth, Michael, |d 1962-

• 245 10 |a Logic in computer science |h [electronicresource] : |b modelling and reasoning about systems / |c Michael Huth, Mark Ryan.

• 250 __ |a 2nd ed.

• 260 __ |a Cambridge [U.K.] ; |a New York : |b Cambridge University Press, |c 2004.

• 300 __ |a 1 online resource (xiv, 427 p.) : |b ill.

• 500 __ |a Descriptionbasedonprintversionrecord.

• 504 __ |a Includes bibliographical references (p. 414-417) and index.

• 650 _0 |a Computer logic.

• 650 _0 |a Logic programming (Computer science)

• 700 1_ |a Ryan, Mark, |d 1962-

• 856 4_ |u http://www.itextbook.cn/f/book/bookDetail?bookId=ac2e1630cf2d45ea886916b0393e23e3 |z An electronic book accessible through the World Wide Web; click to view