McCarthy, John
5 links
ACM: A.M. Turing Award: John McCarthy
acm.org
The Association for Computing Machinery gave McCarthy the prestigious Alan M. Turing Award in 1971: For research on artificial intelligence, an area in which he has achieved consid…
John McArthy on Modal Logic
garyfeng.com
Describes some of his latest work on how modal calculi describe several possible worlds at once, instead of just one; photo, examples.
John McCarthy
-formal.stanford.edu
Home page of pioneer in mathematical theory of computation, artificial intelligence, programming languages: invented Lisp, arguably the oldest language in active use today, and may…
John McCarthy (Computer Scientist)
en.wikipedia.org
Short biography with links to many articles on related topics.
Showing 20–5 of 5 results