411 search results - page 83 / 83 » Timed Alternating-Time Temporal Logic |
GEOINFORMATICA
1998
13 years 5 months ago
1998
ally related entity types, or classes, into higher level, more abstract types, as part of a hierarchical classi®cation scheme. graphy, generalization retains the notion of abstrac...