عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.1111
QA
76
.
L28
Vol
.
1111
کتابخانه
محل استقرار
Reasoning with logic programming
Berlin
Springer-Verlag
c1996
]xxi[, 326 p
Lecture notes in computer science; 1111. Lecture notes in artificial intelligence
Bibliography: p.]271[-281
ISBN 3540614885
Jose Julio Alferes, Luis Moniz Pereira
1
، Logic programming
، Reasoning
QA
76
.
L28
Vol
.
1111
CA
006
.
3/3
Alferes, Jose Julio
AU
AU Pereira, Luis Moniz
TI
TI Logic programming
SE Lecture notes in computer science 1111
