عنوان
پدید آورنده
موضوع
رده
QA 76.6 .P327 1988
QA
76
.
6
.
P327
1988
کتابخانه
محل استقرار
Computing in Horn Clause theories
Berlin
Springer-Verlag
c1988
xi, 322p.: ill
EATCS monographs on theoretical computer science; V.61
Bibliography: p.]307[-316
ISBN: 3540194274
Peter padawitz
1
، Logic programming
، Horn clauses
QA
76
.
6
.
P327
1988
Padawitz, Peter, 3591-
AU
TI
SE
