![](/img/cover-not-exists.png)
[IEEE Third Australian and New Zealand Conference on Intelligent Information Systems. ANZIIS-95 - Perth, WA, Australia (27 Nov. 1995)] Proceedings of Third Australian and New Zealand Conference on Intelligent Information Systems. ANZIIS-95 - The global properties of valid formulus in modal logic K
Sun Jigui,, Cheng Xiaochun,, Liu Xuhua,Year:
1995
Language:
english
DOI:
10.1109/anziis.1995.705726
File:
PDF, 326 KB
english, 1995