Original language | English |
---|---|
Title of host publication | The Handbook of Logic in Artificial Intelligence and Logic Programming |
Publisher | Oxford University Press |
Pages | 351-437 |
Volume | 4 |
Publication status | Published - 1995 |
Towards a Computational Treatment of Time
Dov M. Gabbay, Mark Reynolds
Research output: Chapter in Book/Conference paper › Chapter › peer-review