عنوان
پدید آورنده
موضوع
رده
QA 76.6 .L583 1984
QA
76
.
6
.
L583
1984
کتابخانه
محل استقرار
English
Foundations of logic programming
Berlin, New York
Springer-Verlag
1984
x, 124 p. ; 25 cm
Symbolic computation
Bibliography: p. 113-118
Bibliography: p. )113(-118
Includes index
J.W. Lloyd
1
، Logic programming
، Programming languages )Electronic computers( - Semantics
QA
76
.
6
.
L583
1984
CA
001
.
64/2
7491-
Lloyd, John Wylie
AU
TI
SE
