TIME-ICTL 2003 : 10th International Symposium on Temporal Representation and Reasoning : and Fourth International Conference on Temporal Logic : proceedings : 8-10 July, 2003, Cairns, Queensland, Australia

• Record Nr.: UNINA9910872461603321
• Pubbl/distr/stampa: [Place of publication not identified], : IEEE Computer Society Press, 2003
• Disciplina: 006.3
• Soggetti: Artificial intelligence; Reasoning; Time; Temporal databases; Computer Science; Engineering & Applied Sciences
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Bibliographic Level Mode of Issuance: Monograph