|
|
Volumn 50, Issue 1, 2003, Pages 73-79
|
|
Problems and projections in CS for the next 49 years
|
|
Author keywords
Artificial intelligence; Economics of information; Future of computer science; History of computer science; Human level AI; Mathematical theory of computation; Personal office computer; Program verification
|
|
Indexed keywords
BOYER-MOORE INTERACTIVE THEOREM;
LOGICAL AGENTS;
POCKET COMPUTERS;
ARTIFICIAL INTELLIGENCE;
AUTOMOBILES;
C (PROGRAMMING LANGUAGE);
COMMUNICATION SYSTEMS;
COMPUTATIONAL COMPLEXITY;
COMPUTER PROGRAM LISTINGS;
COMPUTER SYSTEMS;
COSTS;
DATA STRUCTURES;
ELECTRONIC MAIL;
PERSONAL COMPUTERS;
THEOREM PROVING;
COMPUTER SCIENCE;
|
|
EID: 1842525465
PISSN: 00045411
EISSN: None
Source Type: Journal
DOI: 10.1145/602382.602405 Document Type: Review |
|
Times cited : (6)
|
|
References (4)
|
