儲存已註記</a>
<span name='save_page_btn1' id='save_page_btn1' style='visibility: visible' ><a href= 儲存本頁所有記錄
作者 (1-2 之 2)
Pettorossi, Alberto
1
book jacket

Logic based program synthesis and transformation : 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001 : selected papers
International Workshop on Logic Based Program Synthesis and Transformation (11th : 2001 : Paphos, Cyprus)
Berlin : Springer, c2002
c2002
紙本資料

館藏地: 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro F3.1 L8325 2001  LNCS 2372    館內使用    30330000153283
2
book jacket

Logic based program synthesis and transformation 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001 : selected papers
International Workshop on Logic-Based Program Synthesis and Transformation (11th : 2001 : Paphos, Cyprus)
Berlin ; New York : Springer, c2002
c2002
電子書

館藏地: 中央研究院
儲存已註記</a>
<span name='save_page_btn2' id='save_page_btn2' style='visibility: visible' ><a href= 儲存本頁所有記錄