Record:   Prev Next
作者 Moszkowski, B. C
書名 Executing temporal logic programs / B.C. Moszkowski
出版項 Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1986
國際標準書號 0521310997 (pbk.)
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA76.6 M6    在架上    30340200200065
 資訊所圖書室圖書區  F4.1 M9165    在架上    30330000066816
Record:   Prev Next