na INLIS000000000005946 20201016103802 0010-1020000183 ta 201016 | | | 005.11 Michael Huth Pengarang Logic In Computer Science : Modelling and Reasoning about Systems Mark Ryan Pengarang Logic programming Cambridge : Cambridge University Press, 2004 rdacontent Teks rdamedia Komputer rdacarrier Sumber sambung jaring