A logical approach to represent and reason about calendars
| Authors |
|
|---|---|
| Publication date | 2002 |
| Book title | International Symposium on temporal representation and reasoning |
| Pages (from-to) | 134-140 |
| Publisher | IEEE Computer Society Press |
| Organisations |
|
| Document type | Conference contribution |
| Permalink to this page | |