英文字典中文字典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://51zidian.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://51zidian.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>

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

Heir of Light: Eclipse - Reddit
Welcome to the official subreddit for the mobile RPG, Heir of Light: Eclipse! This is your go-to community for discussing strategies, sharing fan art, seeking advice, and celebrating victories in the thrilling RPG world of Heir of Light
Hol up. . : r HolUp - Reddit
7 8K votes, 27 comments 3 5M subscribers in the HolUp community A subreddit for things that make you go "Hol Up wait a minute"
Hold up : r HolUp - Reddit
29K votes, 231 comments 3 5M subscribers in the HolUp community A subreddit for things that make you go "Hol Up wait a minute "
Difference between all three Hawkgirls : r DCcomics - Reddit
Shiera Hall and Kendra Saunders are Earth based serial reincarnations of the ancient Egyptian Priestess Chay-Ara, the first Hawkgirl Shayera Hol is a Thanagarian (Hawkperson) who took the role in between stints of the classic mystical version of Hawkgirl
Hol tudok egyedi lego figurákat tervezni? : r askhungary - Reddit
Üdv! Karácsonyra szeretném meglepni a család fiatalabb tagjait (meg akkor már magamat is, na) lego figurákkal, amik őket ábrázolják Legoznak is, biztos fun lenne, én éltem volna amikor ennyi idősen legoztam, hogy magammak is játszhatok (haha) Tudtok magyar oldalakat, ahol akár képről, de inkább saját magam által kiválasztott darabokból tudok összerakni figurákat? Jobb
[META] What exactly is a Holup? And more importantly, what isnt?
A subreddit for things that make you go "Hol Up wait a minute "
Games like HOL? : r houseofleaves - Reddit
65 votes, 84 comments Recently read about to the 1 3 point of HOL and was wondering if anyone knew any video games inspired by HOL I really enjoyed…
Hol vásároljak minőségi bútorokat jó áron? : r askhungary
A környékünkön van olyan használt bútorokat árusító cég, ami Németországból hozza a termékeit, mind nagyon jó minőségű tömörfa bútor Ha olcsón meg szeretnéd oldani a bútorozást, érdemes ilyen helyen körülnézni, maximum nem lesz teljesen összeillő a bútorzat a lakásban Helyi bútorgyártó cégnél vettem már ezt-azt Olcsóbb a nagy gyártóknál
The Hol Horse and Josuke spin-off (officially called Crazy . . . - Reddit
The Hol Horse and Josuke spin-off (officially called "Crazy Diamond's Demonic Heartbreak") as well as "Fujiko's Bizarre Survival Skills-Whitesnake's Miscalculation" will both release on 12 18
Am I the Asshole? - Reddit
A catharsis for the frustrated moral philosopher in all of us, and a place to finally find out if you were wrong in an argument that's been bothering you Tell us about any non-violent conflict you have experienced; give us both sides of the story, and find out if you're right, or you're the asshole See our ~~*Best Of*~~ "Most Controversial" at r AITAFiltered!

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