您当前的位置：
首页 >
文章列表页 >
On the Decidability of Satisfiability of Discrete TITL Formulae
更新时间：2025-07-08

    • On the Decidability of Satisfiability of Discrete TITL Formulae

    • Acta Electronica Sinica   Vol. 38, Issue 5, Pages: 1039-1045(2010)

    移动端阅览

  • On the Decidability of Satisfiability of Discrete TITL Formulae[J]. Acta Electronica Sinica, 2010, 38(5): 1039-1045. DOI：

  •  
  •  
icon
试读结束，您可以激活您的VIP账号继续阅读。
去激活 >
icon
试读结束，您可以通过登录账户，到个人中心，购买VIP会员阅读全文。
已是VIP会员？
去登录 >

0

Views

1357

下载量

3

CSCD

Alert me when the article has been cited
提交
Tools
Export Citation
Share
Add to favorites
Add to my album

Related Articles

No data

Related Author

No data

Related Institution

No data
0