Weak Liberated Versions of T and S4.

Charles G. Morgan

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

Keyphrases

real world
artificial intelligence
evolutionary algorithm
information retrieval
high level
databases
decision making
multiscale
video sequences
lower bound
information technology