Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
TIME 2016 : proceedings : 23rd International Symposium on Temporal Representation and Reasoning : 17-19 October 2016, Kongens Lyngby, Denmark / / edited by Curtis Dyreson, Michael R. Hansen, Luke Hunsberger
| TIME 2016 : proceedings : 23rd International Symposium on Temporal Representation and Reasoning : 17-19 October 2016, Kongens Lyngby, Denmark / / edited by Curtis Dyreson, Michael R. Hansen, Luke Hunsberger |
| Pubbl/distr/stampa | New York : , : IEEE, , 2016 |
| Descrizione fisica | 1 online resource (x, 208 pages) |
| Soggetto topico |
Temporal databases
Time Logic, Symbolic and mathematical |
| ISBN | 1-5090-3825-6 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910171876303321 |
| New York : , : IEEE, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
TIME 2016 : proceedings : 23rd International Symposium on Temporal Representation and Reasoning : 17-19 October 2016, Kongens Lyngby, Denmark / / edited by Curtis Dyreson, Michael R. Hansen, Luke Hunsberger
| TIME 2016 : proceedings : 23rd International Symposium on Temporal Representation and Reasoning : 17-19 October 2016, Kongens Lyngby, Denmark / / edited by Curtis Dyreson, Michael R. Hansen, Luke Hunsberger |
| Pubbl/distr/stampa | New York : , : IEEE, , 2016 |
| Descrizione fisica | 1 online resource (x, 208 pages) |
| Soggetto topico |
Temporal databases
Time Logic, Symbolic and mathematical |
| ISBN | 1-5090-3825-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996279367903316 |
| New York : , : IEEE, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||