英文字典中文字典51ZiDian.com

中文字典辞典英文字典 a b c d e f g h i j k l m n o p q r s t u v w x y z

HOL

The Collaborative International Dictionary of English v.0.48 (gcide)

Hol \Hol\, a. [See {Whole}.]
Whole. [Obs.] --Chaucer.
[1913 Webster]

The Free On-line Dictionary of Computing (foldoc)

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].

V.E.R.A. -- Virtual Entity of Relevant Acronyms (June 2006) (vera)

Head Of Line

请选择你想看的字典辞典：

单词	字典	翻译
hol	查看　hol　在百度字典中的解释	百度英翻中〔查看〕
hol	查看　hol　在Google字典中的解释	Google英翻中〔查看〕
hol	查看　hol　在Yahoo字典中的解释	Yahoo英翻中〔查看〕

安装中文字典英文字典查询工具!

中文字典英文字典工具:

选择颜色:

<style type="text/css">#word104_1 br {display:none;}</style>
<form id="word104_1" method="post" action="http://ww.taiwanrate.org/index.php" target="_blank">
<div style="width: 140px;border:1px solid #000;background-color:#ffffff;padding: 0px 0px;margin: 0px 0px;align:center;text-align:center;overflow:hidden;"><div id="xcolor1_1" style="font-size:12px;color:#183a00;line-height:16px;font-family: arial; font-weight:bold;background:#94abf0;padding: 3px 1px;text-align:center;"><a href="http://ww.taiwanrate.org/" alt="英文字典中文字典" title="英文字典中文字典" id="word_name104_1" style="color:#000000;font-size:14px;text-decoration:none;line-height:16px;font-family: arial;" >英文字典中文字典</a></div><table width=100% style='align:center;text-align:left;font-size:12px;background-color:#ffffff;color:#333333;'>
<tr><td style="text-align:center;border:0"><input type=hidden name="word104_hi" value="1">输入中英文单字</td></tr><tr><td style="text-align:center;border:0"><input type="text" name="word104_input" value="" size=10 style="background-color:#ffffff;color:#000;text-decoration:none;font-family: arial;rial;border:1px solid #999;padding:1px!important;"></td></tr><tr style='line-height: 26px;'><td style="text-align:center;border:0"><input type=submit style="background-color:#ccc;color:#000;border:0 none;cursor:pointer;" value="查询字典"></td></tr></table></div>
</form>

英文字典中文字典相关资料:

HOL - Student Login
A separate account is required for each institution that you are affiliated with Forgot your Password?
Hol!
to HOL!’s newsletter to stay up to date on releases, merch, and more We respect your privacy HOL! - HOL! - SHE LISTENS TO RIDDIM (ft IANROCKS) HOL! - THE MOMENT HOL! - GOD_2 HOL! - LOOK AT ME (HOL! REMIX) HOL! · Top tracks · HOL! · Subtronics, HOL! · HOL! Amnesia - HOL! Remix · HOL!
Hol - Wikipedia
This disambiguation page lists articles associated with the title Hol If an internal link incorrectly led you here, you may wish to change the link to point directly to the intended article
Course Catalog - VMware Lab Platform
In this lab you will be shown how administrators build and design consumption models at a basic level for projects, VPCs and across all constructs within the private and shared cloud environment
VMware Lab Platform
Loading
Hol+ Official Store | Wellness Supplements
Shop Hol Plus for trusted supplements, wellness bundles, and holistic support designed to improve hormones, immunity, energy, and overall health
Login to The Heritage Institute - hol. edu
Sign up for new course announcements, specials and Heritage Institute News
shows — Hol!
shows — Hol! 0 Skip to Content home shows shop music contact Open MenuClose Menu home shows shop music contact Open MenuClose Menu home shows shop music contact TOUR DATES
HOL Guard | Security for AI Agents
HOL Guard is the open-source local-runtime option for cross-agent policy, pre-execution review on supported events, approvals, and local evidence

中文字典-英文字典 2005-2009