Epistemic and temporal reasoning /
| Άλλοι συγγραφείς: | , , , |
|---|---|
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Oxford:
Clarendon Pr.,
c199
|
| Σειρά: | Handbooks of logic in computer science and artificial intelligence and logic programming
|
| Θέματα: |