عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
oldebook32498
eng
Logic based program synthesis and transformation :
:LOPSTER 2001 ;
New York :
: Springer,
, 2002.
Print
Logic programming ; Congresses. ;
;-Pettorossi, A. ; (Alberto), ; 1947
old catalog
