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