Quantified Positive Temporal Constraints
Tytuł:
Quantified Positive Temporal Constraints
Czasopismo:
Rok:
2008
Opis:
Computer Science Logic, 22nd International Workshop, {CSL} 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings
Strony:
94-108
Tom (seria wydawnicza):
5213
Numer DOI:
10.1007/978-3-540-87531-4_9