登入選單

返回Google圖書搜尋

Representing and Integrating Multiple Calendars

Sarit Kraus

出版	University of Maryland, 1997
URL	http://books.google.com.hk/books?id=r96lGwAACAAJ&hl=&source=gbs_api

註釋

Whenever humans refer to time, they do so with respect to a specific underlying calendar. So do most software applications. However, most theoretical models of time refer to time with respect to the integers (or reals). Thus, there is a mismatch between the theory and the application of temporal reasoning. To lessen this gap, we propose a formal, theoretical definition of a calendar and show how one may specify dates, time points, time intervals, as well as sets of time