Non-monotonic entailment for reasoning about time and action P. 3, Decision procedure

Författare
Erik Sandewall
Språk
Engelska
Förlag År Ort Om boken ISBN
1988 Sverige 27 sidor.