On Formalised Computer Programs.
David C. LuckhamDavid Michael Ritchie ParkMike PatersonPublished in: J. Comput. Syst. Sci. (1970)
Keyphrases
- computer programs
- programming language
- turing test
- computer programming
- mental states
- high quality
- software agents
- artificial intelligence
- human users
- human level ai
- machine learning
- computer hardware
- trading strategies
- intelligent systems
- ground truth
- learning process
- artificial neural networks
- expert systems
- high level