00582     2200193   4500001002100000005001500021035002000036007000300056008003900059082001100098100002800109245007100137700002500208600002200233264005100255336002100306337002300327338003800350INLIS00000000000594620201016103802  a0010-1020000183ta201016                |          | |    a005.110 aMichael HuthePengarang1 aLogic In Computer Science :bModelling and Reasoning about Systems0 aMark RyanePengarang 4aLogic programming  aCambridge :bCambridge University Press,c2004  2rdacontentaTeks  2rdamediaaKomputer  2rdacarrieraSumber sambung jaring