عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.883
QA
76
.
L28
Vol
.
883
کتابخانه
محل استقرار
Logic program synthesis and transformation--Meta-programming in Logic, 4th International Workshops, LOPSTR'94 and META'94Pisa, Italy, June 20-21 1994 : proceedings
Laurent Fribourg, Franco Turini, )eds.(
1994: Pisa, Italy
Berlin
Springer-Verlag
c1994
ix, ]451[p.: ill., tables
Lecture notes in computer science; 388
Includes bibliographies
ISBN: 3540587926
1
Congresses ، Logic programming
QA
76
.
L28
Vol
.
883
AU
AU Fribourg, Laurent, 1957-
AU Turini, Franco, 1949-
CO META 1994: Pisa, Italy
TI
SE
LOPSTR
