1.
Record Nr.
UNINA9910140445303321
Titolo
Proceedings : 20th International Symposium on Temporal Representation and Reasoning (TIME 2013) : Pensacola, Florida, USA, 26-28 September 2013
Pubbl/distr/stampa
IEEE
ISBN
1-4799-2241-2
Disciplina
006.3
Soggetti
Artificial intelligence
Reasoning
Time
Temporal databases
Lingua di pubblicazione
Inglese
Formato
Materiale a stampa
Livello bibliografico
Monografia