عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.2372
QA
76
.
L28
Vol
.
2372
کتابخانه
محل استقرار
Logic based program synthesis and transformation :11th International Workshop, LOPSTER 2001, Paphos, Cyprus, November 28-30, 2001 : selected papers
11th : 2001 : Paphos, Cyprus
Berlin
Springer-Verlag
c2002
viii, 265 p.: ill., tables
Lecture notes in computer science; 2732
Includes bibliographies
ISBN: 3540439153
Alberto Pettorossi, )ed.(
1
Congresses ، Logic programming
QA
76
.
L28
Vol
.
2372
AU
AU Pettorossi, Alberto, 1947-
TI
SE
LOPSTR
