مرکز منطقه ای اطلاع رساني علوم و فناوري

DocumentCode :

3722887

Title :

[Title page i]

fYear :

2015

Abstract :

The following topics are dealt with: temporal representation; temporal reasoning; temporal networks; temporal databases; temporal logics; temporal verification; and artificial intelligence.

Publisher :

ieee

Conference_Titel :

Temporal Representation and Reasoning (TIME), 2015 22nd International Symposium on

ISSN :

1530-1311

Type :

conf

DOI :

10.1109/TIME.2015.1

Filename :

7371909

Link To Document :

https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=3722887