Logic-based program synthesis and transformation : 22nd international symposium, LOPSTR 2012 : Leuven, Belgium, September 18-20, 2012 : revised selected papers : LOPSTR 2012 conference : Sep 2012, Leuven, Belgium. (Lecture Notes in Computer Science ; 7844)
資料に関する注記
一般注記:
形態の詳細:
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。