عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.1559
QA
76
.
L28
Vol
.
1559
کتابخانه
محل استقرار
Logic-based program synthesis and transformation : 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998 : selected papers
1998: Manchester, England
Berlin
Springer-Verlag
c1999
x, 330 p.: ill., tables
Lecture notes in computer science; 9551
Includes bibliographies
ISBN 3540657657
Pierre Flener )ed.(
1
Congresses ، Logic programming
QA
76
.
L28
Vol
.
1559
AU
AU Flener, Pierre, 1964-
TI
SE
LOPSTR
