Deriving a Correct Computer.

Published in: TPHOLs (1992)

Keyphrases

computer systems
artificial intelligence
information systems
decision making
data structure
information technology
computer programs
real world
machine learning
lower bound
trade off
mobile robot
computer users