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

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

HOL - Student Login
A separate account is required for each institution that you are affiliated with Forgot your Password?
Hol!
to HOL!’s newsletter to stay up to date on releases, merch, and more We respect your privacy 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! · Top tracks · HOL! · Subtronics, HOL! · HOL! Amnesia - HOL! Remix
HOL! - Denver - Mission Ballroom - Sat, May 30, 2026, 08:00 PM - AXS US
Get tickets for HOL! Mad Dubz B2B VKTM, Ivory, Warlord at Mission Ballroom in Denver on Sat, 30 May 2026 - 08:00 PM at AXS com
HOL! - 2026 Tour Dates Concert Schedule - Live Nation
Explore HOL! tour schedules, latest setlist, videos, and more on livenation com
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
HOL! - YouTube
Hi, My Name Is
‎HOL! - Apple Music
Listen to music by HOL! on Apple Music Find top songs and albums by HOL! including HARD IN DA PAINT, Mind Pluck and more
Tour Dates - HOL
Check out the live events in your area here Keep an eye out for HOL coming your way!
HOL! Concerts Live Tour Dates: 2026-2027 Tickets | Bandsintown
Find tickets for HOL! concerts near you Browse 2026 tour dates, venue details, concert reviews, photos, and more at Bandsintown

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

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