E-Connections of Abstract Description Systems (0)

by O KUTZ, C LUTZ, F WOLTER, M ZAKHARYASCHEV
Venue:Artificial Intelligence