アレン・エマーソン
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2016/05/27 15:16 UTC 版)
アーネスト・アレン・エマーソン(Ernest Allen Emerson、1954年6月2日 - )は、アメリカ合衆国の計算機科学者であり、テキサス大学オースティン校の教授。
|
- ^ “ACM Turing Award Honors Founders of Automatic Verification Technology That Enables Faster, More Reliable Designs”. University of Texas (2008年2月4日). 2009年10月18日閲覧。
- ^ “ACM Fellows Award / E Allen Emerson”. 2009年10月18日閲覧。
- ^ a b “Kanellakis Award”. Association for Computing Machinery (1999年3月26日). 2009年10月18日閲覧。
- ^ Michael Huth and Mark Ryan (2004). Logic in Computer Science (Second Edition). Cambridge University Press. p. 207. ISBN 0-521-54310-X.
- 1 アレン・エマーソンとは
- 2 アレン・エマーソンの概要
固有名詞の分類
- アレン・エマーソンのページへのリンク