411 search results - page 83 / 83 » Timed Alternating-Time Temporal Logic |
133
Voted
GEOINFORMATICA
1998
15 years 24 days 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...