英文字典中文字典Word104.com
|
HOL Hol \Hol\, a. [See {Whole}.] Whole. [Obs.] --Chaucer. [1913 Webster] Higher Order Logic. A proof-generating system for {higher
order logic} based on {LCF}. Implementations include {HOL-88} and {HOL-90}. {(ftp://ted.cs.uidaho.edu/pub/hol)}. Mailing list: info-hol@ted.cs.uidaho.edu. ["HOL: A Machine Oriented Formulation of Higher Order Logic", M.J.C. Gordon, Report 68, Comp Lab U Cambridge (1985)]. ["Introduction to HOL", M.J.C. Gordon et al, Cambridge U Press 1993 ISBN 0-521-441897]. |
安裝中文字典英文字典查詢工具!
英文字典中文字典相關資料:
|
中文字典-英文字典 2005-2009
|中文姓名英譯,姓名翻譯 |简体中文英文字典