アレン・エマーソンとは?

Weblio 辞書 > 辞書・百科事典 > 百科事典 > アレン・エマーソンの意味・解説 

アレン・エマーソン

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2016/05/27 15:16 UTC 版)

アーネスト・アレン・エマーソン(Ernest Allen Emerson、1954年6月2日 - )は、アメリカ合衆国計算機科学者であり、テキサス大学オースティン校の教授。




  1. ^ ACM Turing Award Honors Founders of Automatic Verification Technology That Enables Faster, More Reliable Designs”. University of Texas (2008年2月4日). 2009年10月18日閲覧。
  2. ^ ACM Fellows Award / E Allen Emerson”. 2009年10月18日閲覧。
  3. ^ a b Kanellakis Award”. Association for Computing Machinery (1999年3月26日). 2009年10月18日閲覧。
  4. ^ Michael Huth and Mark Ryan (2004). Logic in Computer Science (Second Edition). Cambridge University Press. p. 207. ISBN 0-521-54310-X. 


「アレン・エマーソン」の続きの解説一覧


英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

カテゴリ一覧

全て

ビジネス

業界用語

コンピュータ

電車

自動車・バイク

工学

建築・不動産

学問

文化

生活

ヘルスケア

趣味

スポーツ

生物

食品

人名

方言

辞書・百科事典

すべての辞書の索引

「アレン・エマーソン」の関連用語

アレン・エマーソンのお隣キーワード

   

英語⇒日本語
日本語⇒英語
   
検索ランキング



アレン・エマーソンのページの著作権
Weblio 辞書情報提供元は参加元一覧にて確認できます。

  
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアのアレン・エマーソン (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2018 Weblio RSS