عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
oldebook16693
eng
Logic based program synthesis and transformation
:LOPSTR 2005. ;
Berlin ;New York :
: Springer,
, 2006.
Print
Logic programming ; Congresses. ;
; -Hill, Patricia, ; 1942
old catalog
