عنوان
پدید آورنده
موضوع
رده
QA 76 .L4 v.221
QA
76
.
L4
v
.
221
کتابخانه
محل استقرار
English
Logic programming '85 : proceedings of the 4th conference, Tokyo, Japan, July 1-3, 1985
Berlin, New York
Springer-Verlag
1986
ix, 311 p. : ill. ; 25 cm
Lecture notes in computer science, 122
Papers presented at the Fourth Logic Programming Conference
Includes bibliographical references and index
Includes bibliographies
edited by Eiiti Wada
1
Congresses ، Logic programming
QA
76
.
L4
v
.
221
CA
005
.
1
TI
AU Wada, Eiiti 1931-
CO Logic Programming Conference, Tokyo, Japan(, 5891, )4th
SE
