411 search results - page 83 / 83 » Timed Alternating-Time Temporal Logic |
116
click to vote
GEOINFORMATICA
1998
14 years 11 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...