عنوان
پدید آورنده
موضوع
رده
QA,76.63,.I57,1996
QA
,
76
.
63
,.
I57
,
1996
کتابخانه
محل استقرار
alk. paper)
3540627189 (softcover
IR
ebook29205
انگلیسی
IR
Logic program synthesis and transformation
[Electronic Resource]
:6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996 : proceedings
/ John Gallagher (ed.)
Berlin ;New York
: Springer,
, c1997.
vi, 324 p.
: ill. ; 24 cm.
(Lecture notes in computer science
; 1207)
e
Includes bibliographical references and index.
Logic programming--Congresses
005
.
1
,
15
QA
,
76
.
63
,.
I57
,
1996
Gallagher, Joh
International Workshop on Logic Program Synthesis and Transformation(6th :1996 :Stockholm, Sweden)
ایران
005.1,15
3540627189.pdf
0
0
old catalog
e
BL
1
a
Y
