| Shelfclass_id | 6.G |
| Sortkey | TIME-ICTL |
| Authors | Mark Reynolds, Abdul Sattar |
| Title | TIME-ICTL 2003: 10th International Symposium on Temporal Representation and Reasoning and Fourth International Conference on Temporal Logic: 8-10 July, 2003, Cairns, Queensland, Australia: proceedings |
| Publisher | IEEE Computer Society Press |
| Year | c2003 |
| Languages | eng |
| Isbn | 0769519121 |
| Description | xi, 223 p. ill. 28 cm |
| Record date | 20060824 |
| Location | Los Alamitos, Calif. |
| Keywords | Artificial intelligence, Reasoning, Time, Temporal databases |
| Notes | "IEEE Computer Society Order Number PR01912"--T.p. verso; 4.D |
| Urlnote | Restricted to IEEE Xplore subscribers |
| Urls | http://ieeexplore.ieee.org/servlet/opac?punumber=8624 |