語系: 繁體中文
說明(常見問題)
登入
語系
跳至 : 概要 | 書目資訊 | 主題

GallierJean H.

概要
作品: 1 作品在 1 項出版品 1 種語言
書目資訊
Logic for computer science:foundations of automatic theorem proving by: GallierJean H. (書目-語言資料,印刷品)
 
 
變更密碼
登入