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

AUTOMATH

Taiwan MOE computer dictionary (moecomp)

automath
自动数学程式

The Collaborative International Dictionary of English v.0.48 (gcide)

Automath \Au"to*math\, n. [Gr. ?; ? self ?, ?, to learn.]
One who is self-taught. [R.] --Young.
[1913 Webster] Automatic

The Free On-line Dictionary of Computing (foldoc)

A very high level language for writing
proofs, from Eindhoven, Netherlands.

["The Mathematical Language AUTOMATH, Its Usage and Some of
its Extensions", N.G. deBruijn, in Symp on Automatic
Demonstration, LNM 125, Springer 1970].

(2001-07-09)

请选择你想看的字典辞典：

单词	字典	翻译
automath	查看　automath　在百度字典中的解释	百度英翻中〔查看〕
automath	查看　automath　在Google字典中的解释	Google英翻中〔查看〕
automath	查看　automath　在Yahoo字典中的解释	Yahoo英翻中〔查看〕

安装中文字典英文字典查询工具!

中文字典英文字典工具:

选择颜色:

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

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

긴급뉴스 | 연합뉴스
17:19 [속보] 중앙선관위, 송파구 투표용지 부족 사태에 "상황 파악 중" 17:15 [속보] 서울 송파구 투표소 곳곳서 투표용지 부족 신고 빗발 15:43 [속보] 선거 관련 전국 112신고 오후 3시 기준 312건…투표방해 53건 등
YTN
[속보] 송파구서 투표용지 부족해 100여명 대기 투표 차질 우려 역사상 지선 투표율 60% 넘긴 적은 딱 2번 선거 새 역사 쓸까 [Y녹취록]
YTN
대한민국 24시간 뉴스 방송채널, 실시간 속보 및 제보하기, 분야별 뉴스, 이슈
연합뉴스
중부매일 대전 한화에어로스페이스 폭발사고 희생자 신원 확인 착수 남도일보 [속보] 소방 "한화에어로 폭발 사망자 총 5명으로 늘어…2명은 중경상" 일간경기 인천시, 노후계획도시 선도지구 공모 마감 21개 구역·4만6100호 신청
Google 뉴스
[속보] 선관위, 투표용지 부족 공식 인정…대국민 사과 예고 1시간 전 한겨레 [속보] 선관위, ‘투표지 부족’ 사태에 “책임 통감하며 깊이 사과” 1시간 전 헤드라인 및 의견 더보기 조선일보
속보 및 알림 - KBS 뉴스
실시간 뉴스 속보 및 알림 사용 중이신 인터넷 익스플로러(Internet Explorer)에서는 일부 기능 사용에 제한이 발생할 수 있습니다
연합뉴스 - Facebook
YNA CO KR [속보] 서울 송파구 투표소 곳곳서 투표용지 부족 신고 빗발 | 연합뉴스 ( 󰍸 󰤦 󰤧 연합뉴스 󱢏 2m󰞋󱟠 󳄫 중앙선거관리위원회는 3일 오후 5시 현재 제9회 전국동시지방선거 투표율이 57 4%로 집계됐다고 밝혔습니다 YNA CO KR
속보 및 알림 - KBS 뉴스
[🔴속보] 이란 혁수대, 유조선에 발포 '아비규환' "적에 새 패배 안길 것" 중동 확전 비상 2026년 4월 18일 (토) KBS [자막뉴스] 한국 관광 판도가 뒤집혔다?…K-컬처 어마어마한 파급력 KBS 2026 04 18
연합뉴스TV
[속보] '용지부족' 잠실7동 투표소 오후 10시까지 연장 [속보] 국힘 "서울선거 이대로 진행하기 어려워" [속보] 선관위 사무총장, 투표지 부족사태에 "책임 통감…깊이 사과" [속보] 국힘 "투표지 부족으로 참정권 침해…서울 선거 연기 정식 요구"
即時新聞 - 中時新聞網
吃飯少不了主食，該如何挑選才能穩血糖？營養師蕭瑋霖將常見的7種主食依據「升糖指數（GI值）」分為紅、黃、綠燈區，從白吐司、白米飯到糙米

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