Tags
- Annapurna I Middle Peak
- Association for computing machinery
- Association for Symbolic Logic
- Automated reasoning
- Barbara Liskov
- Caldwell, Idaho
- Claude Shannon
- Compatible Time-Sharing System
- Computer
- Computer Science
- Computer scientist
- Cryptanalysis
- Dartmouth workshop
- DBLP
- Doctoral advisor
- Grid computing
- Guy L. Steele Jr.
- Hal Abelson
- Hal Ed
- Ida Glatt
- International Standard Book Number
- Jack Dennis
- John McCarthy
- Kotok-McCarthy
- Lambert March
- Les Earnest
- Mathematics Genealogy Project
- McCarthy
- Nathaniel Rochester
- National Medal of Science
- Scientist
- S-expression
- Situation calculus
- Solomon Feferman
- SRI International
- Stanford Memorial
- Stanford University
- Systems biology
- Thesis
- University of California, Berkeley
- University of Denver
- Wikipedia