课题基金 / 基金详情

Foundations of Executable Temporal Logic

Foundations of Executable Temporal Logic
可执行时态逻辑的基础
批准号：
DP0211573
负责人：
Prof Mehmet Orgun
金额：
$3.41万
依托单位：
Macquarie University
依托单位国家：
澳大利亚
项目类别：
Discovery Projects
财政年份：
2002
资助国家：
澳大利亚
项目状态：
已结题
起止时间：
2002-01-09 至 2003-12-31
来源：
https://dataportal.arc.gov.au/RGS/Web/Grants/DP0211573
关键词：
FoundationsExecutableTemporalLogic

项目摘要

项目成果

Prof Mehmet Orgun的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
In many computer applications, including those of temporal reasoning, distributed computations and knowledge representations, the concept of time is of central importance. Multiple granularity of time also plays a critical role as not all events are neces
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Classification and Prediction Modelling for Financial Distress, Tax Debt and Insolvency for ATO Clients
  • 批准号：
    LP0561985
  • 项目类别：
    Linkage Projects
  • 资助金额：
    $5.95万
  • 财政年份：
    2006
  • 负责人：
    Prof Mehmet Orgun
  • 依托单位：
    Macquarie University
海外基金