英文字典中文字典Word104.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　在Google字典中的解釋	Google英翻中〔查看〕
hol	查看　hol　在Yahoo字典中的解釋	Yahoo英翻中〔查看〕

安裝中文字典英文字典查詢工具!

中文字典英文字典工具:

選擇顏色:

<style type="text/css">#word104_1 br {display:none;}</style>
<form id="word104_1" method="post" action="http://www.word104.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://www.word104.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>

英文字典中文字典相關資料:

MVM dóm koncert - hova érdemes? : r csakcsajok - Reddit
vannak sorok, amik előtt plexi fal van, kiaszott zavaró, hogy egy üveg mögül nézed az egész koncertet, sajnos nem tudom pontosan melyikek ezek a sorok, de erre figyelj, vagy írj nekik e-mailt, hogy mondják meg hol vannak pontosan
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
[META] What exactly is a Holup? And more importantly, what isnt?
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
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
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"
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!
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
Egészségpénztár - Hol, miért, mennyiért? : r kiszamolo - Reddit
Egészségpénztár - Hol, miért, mennyiért? A katasztrofális állapotban lévő egészségügyi rendszer miatt elgondolkodtam, hogy talán kifizetődőbb lenne a magánszektort választani, amihez azonban - számomra legalábbis így tűnik - jó ha van egészségpénztári tagsága az illetőnek

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

|中文姓名英譯,姓名翻譯 |简体中文英文字典