The Checking of Computer Logic by Simulation on a Computer.

Meir M. Lehman Rayna Eshed Z. Netter

Published in: Comput. J. (1963)

Keyphrases

computer systems
computer technology
computer programming
database
learning algorithm
social networks
reinforcement learning
search algorithm
user interface
mathematical model
simulation model
personal computer
machine intelligence