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 |