|
|
C. Schwind (1985): Temporal Logic in Artificial Intelligence
| Title: |
Temporal Logic in Artificial Intelligence |
| Author(s): |
C. Schwind |
| Year: |
1985 |
| Booktitle: |
8th German Workshop on Artificial Intelligence GWAI--84 |
| Editor(s): |
Joachim Laubsch |
| Number: |
103 |
| Pages: |
238-264 |
| Publisher: |
Springer |
| Address: |
Berlin u.a. |
Concepts
|
|
