![](/img/cover-not-exists.png)
[IEEE 2008 Fourth International Conference on Natural Computation - Jinan, Shandong, China (2008.10.18-2008.10.20)] 2008 Fourth International Conference on Natural Computation - The Completeness and Decidability of Intuitive Implication Logic System
Du, Guoping, Wang, Hongguang, Li, Na, Xu, LiangYear:
2008
Language:
english
DOI:
10.1109/icnc.2008.499
File:
PDF, 523 KB
english, 2008