Temporal logic : from ancient ideas to artificial intelligence
| Autor principal: | |
|---|---|
| Otros Autores: | |
| Formato: | Libro |
| Idioma: | Inglés |
| Publicado: |
Dordrecht :
Kluwer
[1995]
|
| Colección: | Studies in linguistics and philosophy ;
57 |
| Descripción Física: | VIII, 413 p. ; 23 cm |
|---|---|
| ISBN: | 9780792335863 |
