儲存已註記</a>
<span name='save_page_btn1' id='save_page_btn1' style='visibility: visible' ><a href= 儲存本頁所有記錄
美國國會圖書館分類號 (1-2 之 2)
F 4.1 K885
1
book jacket

Specifying message passing and time-critical systems with temporal logic
Koymans, R. (Ron), 1959-
Berlin ; New York : Springer-Verlag, c1992
 
c1992
紙本資料

館藏地: 資訊所圖書室, 數學所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  Ser F4.1 K885  LNCS 651    在架上    30330000088182
 數學所圖書室  QA75.5 .L42  v.651    在架上    30340200301335
2
book jacket

Computational logic and human thinking : how to be artificially intelligent
Kowalski, Robert
Cambridge ; New York : Cambridge University Press, 2011
2011
紙本資料

館藏地: 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室圖書區  F4.1 K885    在架上    30330000221874
儲存已註記</a>
<span name='save_page_btn2' id='save_page_btn2' style='visibility: visible' ><a href= 儲存本頁所有記錄