On Post's Canonical Systems.

Raymond M. Smullyan

Published in: J. Symb. Log. (1962)

Keyphrases

distributed systems
case study
expert systems
search algorithm
real time
computer systems
intelligent systems
multi agent systems
video sequences
database
learning environment
website
special case
hidden markov models
artificial intelligence
databases
complex systems
systems require