Temporal logic : from ancient ideas to artificial intelligence
Main Author: | |
---|---|
Other Authors: | |
Format: | Book |
Language: | Inglés |
Published: |
Dordrecht :
Kluwer
[1995]
|
Series: | Studies in linguistics and philosophy ;
57 |
Physical Description: | VIII, 413 p. ; 23 cm |
---|---|
ISBN: | 9780792335863 |