![](/img/cover-not-exists.png)
[IEEE 2015 11th International Conference on Semantics, Knowledge and Grids (SKG) - Beijing, China (2015.8.19-2015.8.21)] 2015 11th International Conference on Semantics, Knowledge and Grids (SKG) - The Variant Gentzen System for the Propositional Logic
Bo, Chen, Yuefei, Sui, Cungen, CaoYear:
2015
Language:
english
DOI:
10.1109/skg.2015.8
File:
PDF, 183 KB
english, 2015