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

Executable modal and temporal logics : IJCAI '93 Workshop, Chambéry, France, August 28, 1993 : proceedings
Workshop on Executable Modal and Temporal Logics (1993 : Chambery, France)
Berlin ; New York : Springer-Verlag, c1995
 
c1995
紙本資料

館藏地: 數學所圖書室, 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA75.5 .L42  v.897    在架上    30340200320814
 資訊所圖書室叢書區  SerPro F4.1 E96 1993  LNCS 897    館內使用    30330000102306
2
book jacket

Executable modal and temporal logics IJCAI '93 Workshop,Chambery, France, August 28, 1993 : proceedings
International Joint Conference on Artificial Intelligence (1993 : Chambery, France)
Berlin ; New York : Springer, 1995
1995
電腦檔

館藏地: 資訊所圖書室
儲存已註記</a>
<span name='save_page_btn2' id='save_page_btn2' style='visibility: visible' ><a href= 儲存本頁所有記錄