عنوان
پدید آورنده
موضوع
رده
QA 76.6 .L583 1987
QA
76
.
6
.
L583
1987
کتابخانه
محل استقرار
English
Foundations of logic programming
Berlin
Springer-Verlag
1987
xii, 212 p. : ill. ; 25 cm
Symbolic computation
Bibliography: p. )195(-204
Includes index
J.W. Lloyd
1
، Logic programming
، Programming languages )Electronic computers( - Semantics
QA
76
.
6
.
L583
1987
CA
005
.
1
7491-
Lloyd, J. W.)John Wylie(
AU
TI
SE
