01321nam a2200301 a 4500001001400000003000700014005001700021008004100038020001800079020002200097039010800119040000800227090002400235100001800259245009800277250001200375260007000387300003400457504006300491650001900554650002200573700001500595856007400610856007600684952013500760999002700895999009700922vtls000037719KUKTEM20251117150104.0090612t2009    enka   f b    001 0 eng d  a9780521543101  a052154310X (pbk.) 9a201107132308bVLOADc201003041620dfauzic200908141629dVLOADc200908141602dVLOADy200906121606zsaini  aUMP  aQA76.9.L63 H88 20091 aHuth, Michael10aLogic in computer science :bmodelling and reasoning about systems /cMichael Huth, Mark Ryan  a2nd ed.  aCambridge [U.K.] ;aNew York :bCambridge University Press,c2009  axiv, 427 p. :bill. ;c25 cm.  aIncludes bibliographical references (p. 414-417) and index 0aComputer logic 0aLogic programming1 aRyan, Mark413Sample textuhttp://www.loc.gov/catdir/samples/cam041/2004045921.html413Table of contentsuhttp://www.loc.gov/catdir/toc/cam041/2004045921.html  00104070a20000b20000d2019-09-04g271.32l0oQA76.9.L63 H88 2009p0000043230r2019-09-04 00:00:00t1v271.32w2019-09-04yOPEN  aVIRTUA40c51153d51159  aVTLSSORT0080*0200*0201*0400*0900*1000*2450*2500*2600*3000*5040*6500*6501*7000*8560*8561*9991