A prototype system for logical reasoning about time and action

Författare
Christer Hansson
(Christer Hansson.)
Språk
Engelska
Förlag År Ort Om boken ISBN
Univ. 1990 Sverige, Linköping 89 sidor. ill.