英文字典中文字典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://nl.goldgoldprice.com/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://nl.goldgoldprice.com/" 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?
Course Catalog - VMware Lab Platform
Learn What's new with vSAN 9 such as file services and Encryption with Security then explore the vSAN environment including monitoring the health, capacity and performance of vSAN within vCenter and also via, built-in, Operations for vCenter Dashboards
Hol!
to HOL!’s newsletter to stay up to date on releases, merch, and more We respect your privacy HOL! - LOOK AT ME (HOL! REMIX) HOL! - HOL! WAKA FLOCKA FLAME - HARD IN DA PAINT HOL! - HOL! LIVE @ ULTRA MIAMI 2026 HOL! - HOL! - DISTORTED DISCO (BONUS) HOL! - HOL! - UH UH UH! HOL! - HOL! - BANGA HOL! - HOL! ONARA - VVS HOL! - HOL! - NO PHONE
HOL! Live at EDC Las Vegas 2026 (Official Full Set) - YouTube
Watch the full HOL! set from bassPOD at EDC Las Vegas 2026 now! Listen-In: more
Science Interactive
Check out our most commonly asked questions below How do I order a kit through HOL Cloud? How do I redeem a voucher from my bookstore? I have my kit, how do I access my course? What is Order Processing? Have more questions? Check out our help center
HOL! (@hol. mp3) • Instagram photos and videos
126K Followers, 1,123 Following, 30 Posts - HOL! (@hol mp3) on Instagram: "+1 (269) 397-4034 @bornxloud BORN LOUD SPRING COLLECTION OUT NOW"
HOL
Hogwarts Online (HOL) is an online Harry Potter community that has been running since 2001 Much like with Hogwarts School of Witchcraft and Wizardry, you will be able to attend your own sorting ceremony, take classes, play Quidditch, earn points for your House and make new friends
‎HOL! - Apple Music
Listen to music by HOL! on Apple Music Find top songs and albums by HOL! including HARD IN DA PAINT, MALFUNCTION and more
HOL! | Spotify
Listen to HOL! on Spotify Artist · 344K monthly listeners
hol+ Functional Medicine and Your Holistic Health Journey
Unlock the secrets of holistic living and learn how to create a balance between mind, body, and spirit for better health

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