عنوان
پدید آورنده
موضوع
رده
QA 76 .9 .L63 .H88 2004
QA
76
.
9
.
L63
.
H88
2004
کتابخانه
محل استقرار
150813
پائیز۹۸
)12(
Huth, Michael
2691-
Logic in computer science: modelling and reasoning about systems
Cambridge ]U.K.[; New York
Cambridge University Press
2004
xiv, 427 p.: ill.; 25 cm.
Includes bibliographical references and index
2nd ed
، Computer logic
، Logic programming )Computer science(
QA
76
.
9
.
L63
.
H88
2004
AU
Michael Huth, Mark Ryan
AU kraM ,nayR 1962-
TI
131
