英文字典中文字典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://no.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://no.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
Forgot your Password?
VMware Lab Platform
Ready to dive into the exciting world of VMware Cloud Foundation 9 0? This lab, HOL-2610-01-VCF-L, is your perfect starting point! You'll begin with a solid overview of VMware Cloud Foundation (VCF), understanding its core concepts like Private Clouds, Fleets, and Instances
Hol!
Hol! to HOL!’s newsletter to stay up to date on releases, merch, and more We respect your privacy
VMware Hands-on Labs
VMware Hands-on Labs provide a quick and easy way to access VMware products and solutions, testing use cases and learning about the latest features with no installation required Lightning Labs help you experience and evaluate VMware products in small segments of time "Bite-sized" labs allow you to learn about core product features quickly!
The Heritage Institute, Professional Development Courses For Teachers
Professional Development Courses for Educators “WHY ARE THEY PICKING ON ME?” Understanding Responding to Social Cruelty SUBSTITUTE’S SUITCASE: For Online, Hybrid or Brick Mortar Classrooms! Real customer service Have a question? Just give us a call! This has been the most fascinating, eye-opening, thought-provoking course I've taken to date
Hol! — The Shalizi Group
HOL! – the Frenchman crafting bass music’s most infectious anthems From Country Riddim to Somewhere to Karate Chop, and hits like Movement with Marshmello Mind Pluck with Subtronics, HOL! has solidified his place as one of the most influential figures of the generation
Login to The Heritage Institute - hol. edu
Receive THI news and get our free video series on Oppositional and Other Challenging Students Courses for Educators Sign up for new course announcements, specials and Heritage Institute News
HOL - What does HOL Stand For? - Acronyms and Slang
What does HOL mean? We know 83 definitions for HOL abbreviation or acronym in 8 categories Possible HOL meaning as an acronym, abbreviation, shorthand or slang term vary from category to category
Log In • Hogwarts Online
Hogwarts Online is an online Harry Potter community that has been running since 2001 You can take classes, play Quidditch, earn points for your House and more Join today!
Higher-order logic - Wikipedia
In mathematics and logic, a higher-order logic (abbreviated HOL) is a form of logic that is distinguished from first-order logic by additional quantifiers and, sometimes, stronger semantics

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