عنوان
پدید آورنده
موضوع
رده
QA,76.63.,I57,2000
QA
,
76
.
63
.,
I57
,
2000
کتابخانه
محل استقرار
3540676287
IR
ebook29326
انگلیسی
IR
Logic-based program synthesis and transformatio
[Electronic Resource]
:9th International Workshop, LOPSTR '99, Venice, Italy, September 1999 : selected papers
/ Annalisa Bossi (ed.)
Berlin;New York
: Springer,
, 2000.
1 online resource
(Lecture notes in computer science
; 1817)
e
Includes bibliographical references and index.
Lecture notes in computer science
1817
Logic programming--Congresses
005
.
1
,
15
QA
,
76
.
63
.,
I57
,
2000
Bossi, Annalisa� 1948
SpringerLINK eBooks - English/International Collection (Archive
International Workshop on Logic-Based Program Synthesis and Transformation(9th :1999 :Venice, Italy)
ایران
005.1,15
3540676287.pdf
0
old catalog
e
BL
1
a
Y
