加载中…
2017-03-09
First-order logic with incomplete information
Antti Kuusisto
文献摘要
We develop first-order logic and some extensions for incomplete information scenarios and consider related complexity issues.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本