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

Paulson, Lawrence C.

概要
作品: 1 作品在 0 項出版品 0 種語言
書目資訊
Interactive theorem provingFirst International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010 : proceedings / by: (1998 :); Kaufmann, Matt.; Paulson, Lawrence C.; SpringerLink (Online service) (書目-電子資源)
Isabelle/HOLa proof assistant for higher-order logic / by: Nipkow, Tobias.; Paulson, Lawrence C.; SpringerLink (Online service); Wenzel, Markus. (書目-電子資源)
 
 
變更密碼
登入