عنوان
پدید آورنده
موضوع
رده
QA 76.6 .L583 1987
QA
76
.
6
.
L583
1987
کتابخانه
محل استقرار
02BL0000000002504
انگلیسی
Foundations of logic programming
J.W. Lloyd
2nd, extended ed.
Berlin
Springer-Verlag
c1987
xii, 212 p. : ill. ; 25 cm
, 2504 , 2-1
Symbolic computation. Artificial intelligence
Bibliography: p. ]195[-204.
Logic programming
Programming languages )Electronic computers( -- Semantics
QA
76
.
6
.
L583
1987
Lloyd, J. W. )John Wylie(, 1947-
