Logic in computer science : modelling and reasoning about systems /
Huth, Michael
Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan - 2nd ed. - Cambridge [U.K.] ; New York : Cambridge University Press, 2009 - xiv, 427 p. : ill. ; 25 cm.
Includes bibliographical references (p. 414-417) and index
9780521543101 052154310X (pbk.)
Computer logic
Logic programming
Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan - 2nd ed. - Cambridge [U.K.] ; New York : Cambridge University Press, 2009 - xiv, 427 p. : ill. ; 25 cm.
Includes bibliographical references (p. 414-417) and index
9780521543101 052154310X (pbk.)
Computer logic
Logic programming