Completeness of S4 with respect to the real line: revisited.

Guram Bezhanishvili Mai Gehrke

Published in: Ann. Pure Appl. Log. (2005)

Keyphrases

artificial intelligence
real world
data mining
social networks
computer vision
viewpoint
real life
line segments