عنوان
پدید آورنده
موضوع
رده
QA 76 .63 .P58 1990
QA
76
.
63
.
P58
1990
کتابخانه
محل استقرار
91989
آخر۲۷
)20(
Plumer, Lutz
Termination proofs for logic programs
Berlin; New York
Springer-Verlag
c1990
viii, 142p.: ill.; 25cm
Lecture notes in computer science; 644. lecture notes in artificial intelligence
Rev. Version of author's thesis
Includes bibliographical references )p. ]132[-139( and index
، Logic programming
، Artificial intelligence
QA
76
.
63
.
P58
1990
AU
Lutz Plumer
TI
SE Lecture notes in computer science; 446
SE Lecture notes in computer science. Lecture notes in artificial intelligence
02
