عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
oldebook37295
eng
based program synthesis and transformation :-Logic
:LOPSTR'99 ;
Berlin ;New York :
: Springer,
, 2000.
Print
Logic programming ; Congresses ;
; -Bossi, Annalisa, ; 1948
old catalog
