Vista normal Vista MARC Vista ISBD

Huth, Michael, 1962-

Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan - 2nd ed. - xiv, 427 páginas : ilustraciones

Reimpresiones: (20th, 2020)

ISBN: 052154310X 9780521543101

Subjects--Topical Terms:
Lógica computacional
Programación lógica

LC Class. No.: QA76.9L63 / H87 2004