D3L(ccy)的属性及分布式Tableaux推理算法的研究
In: 计算机研究与发展 / Journal of Computer Research and Development, Jg. 51 (2014), Heft 3, S. 570
academicJournal
Zugriff:
Titel: |
D3L(ccy)的属性及分布式Tableaux推理算法的研究
|
---|---|
Autor/in / Beteiligte Person: | 赵晓非 田东平 张文波 史忠植 |
Link: | |
Zeitschrift: | 计算机研究与发展 / Journal of Computer Research and Development, Jg. 51 (2014), Heft 3, S. 570 |
Veröffentlichung: | 2014 |
Medientyp: | academicJournal |
ISSN: | 1000-1239 (print) |
Sonstiges: |
|