00353nam a2200133Ia 4500008004100000041000800041082001600049100002300065245004500088250001400133260002900147300003200176365001100208240624s9999    xx            000 0 und d  aeng  a005.133 CLO  aCLOCKSIN WILLIAM F  aPROGRAMMING IN PROLOG USING THE ISO STAN  a(5th ed.)  c2003aNew YorkbSpringer  axiii, : 299 : p. : cm. ; 23  cRSb25