英文字典中文字典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>

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

[META] What exactly is a Holup? And more importantly, what isnt?
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 "
ti hol szoktatok fehérneműt venni? Bugyispúr vagyok:
Hol szoktatok venni? Lehet tényleg rá kellene jönnöm hogy ennyibe kerülnek most már a fehérneműk de mivel tudom hogy az előállítása kb 300ft így nagyon felidegel ez az egész téma és nem vagyok hajlandó több ezret fizetni egy bugyi miatt Plusz a minőség is olyan hogy hagyjuk
Hol érdemes parkolni a puskás aréna közelében? : r budapest
Hol érdemes leparkolnom az autóval a puskás aréna közelében? Valamint ha egyszer bent vagyok a tömegben az F szektorban állóhelyen, hogyan tudok kijutni ha a koncert vége előtt leakarok lépni? Át kell verekednem magam a tömegen? Ez az első nagy koncertem úgyhogy segítsetek kérlek
Hol tudok ismerkedni melegként? (ami nem online felület vagy . . . - Reddit
Egy huszonéves, átlagos, férfias meleg lennék és problémám van az ismerkedés területén, hogy mégis hol mehetne ez végbe, hogy juthatnék végre el egy komoly kapcsolatig Fegyveres szervnél szolgálok (onnan persze nem szeretnék párt) és mellette egyetemen szintén nehézkes, ha elmegyek bulizni haverokkal egy sima kocsmába ott nyilván nincs senkinek a homlokára írva, hogy
Why Hol Horse solos 90% of characters from the first three parts
About 8 days ago, I published a post saying that Hol Horse could solo 90% of characters from the first three parts of JJBA A lot of people were pointing out little details and I decided to make a follow up post individually going through characters and explaining why Hol Horse would or wouldn't win
What ever happened to Hol Horse? : r StardustCrusaders - Reddit
I wanted Hol to return in Part 5 to Part 5 Plus, it'd make sense for him, a hired gun, to be with a mafia
Hol Horse (Stardust Crusaders) vs Guido Mista (Golden Wind)
Hol Horse’s Emperor is an INCREDIBLY strong stand, he has no recoil, infinite bullets and control over the bullets trajectory If Mista is only given Six Bullets then he needs to make each shot count since he has recoil and limited ammo Round 1: Mista would definitely have a edge personality wise, the Sex Pistols will most likely obey Mista and his more confident personality would probably
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
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

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