Găină, D. &
Ţuţu, I.,
2019,
Automated Reasoning with Analytic Tableaux and Related Methods - 28th International Conference, TABLEAUX 2019, Proceedings. Cerrito, S. & Popescu, A. (eds.).
Springer,
p. 277-293 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11714 LNAI).
研究成果: 書籍/レポート タイプへの寄稿 › 会議への寄与