A note on Thomason's representation of S5.

Satoshi Miura Shigeo Ohama

Published in: Notre Dame J. Formal Log. (1977)

Keyphrases

decision trees
three dimensional
real time
databases
image classification
feature representation
graph representation
neural network
machine learning
artificial intelligence
social networks
wide range
data structure
lower bound
image representation
representation scheme