| 标题/作者 | 年份 |
|---|---|
J Jakubův, K Chvalovský, M Olšák, B Piotrowski, M Suda, J Urban International Joint Conference on Automated Reasoning, 448-463 | 2020 |
M Olšák, C Kaliszyk, J Urban arXiv preprint arXiv:1911.12073 | 2019 |
J Jakubův, J Urban arXiv preprint arXiv:1904.01677 | 2019 |
J Urban, J Jakubův Intelligent Computer Mathematics: 13th International Conference, CICM 2020 … | 2020 |
Z Zombori, J Urban, CE Brown International Joint Conference on Automated Reasoning, 489-507 | 2020 |
M Crouse, I Abdelaziz, B Makni, S Whitehead, C Cornelio, P Kapanipathi, ... Proceedings of the AAAI Conference on Artificial Intelligence 35 (7), 6279-6287 | 2021 |
B Gleiss, M Suda Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris … | 2020 |
Z Zombori, A Csiszárik, H Michalewski, C Kaliszyk, J Urban Automated Reasoning with Analytic Tableaux and Related Methods: 30th … | 2021 |
Z Goertzel, J Jakubův, J Urban Automated Reasoning with Analytic Tableaux and Related Methods: 28th … | 2019 |
L Blaauwbroek, J Urban, H Geuvers arXiv preprint arXiv:2003.09140 | 2020 |
L Blaauwbroek, J Urban, H Geuvers International Conference on Intelligent Computer Mathematics, 271-277 | 2020 |
T Gauthier arXiv preprint arXiv:1910.11797 | 2019 |
B Piotrowski, J Urban arXiv preprint arXiv:2004.08212 | 2020 |
M Suda Automated Deduction–CADE 28: 28th International Conference on Automated … | 2021 |
M Rawson, G Reger Automated Reasoning with Analytic Tableaux and Related Methods: 30th … | 2021 |
G Sutcliffe Ai communications 34 (2), 163-177 | 2021 |
I Abdelaziz, M Crouse, B Makni, V Austel, C Cornelio, S Ikbal, ... IEEE Transactions on Pattern Analysis and Machine Intelligence 45 (1), 738-751 | 2022 |
KR Amel Proceedings 13th International Conference Scala Uncertainity Mgmt (SUM 2019 … | 2019 |
B Piotrowski, J Urban International Conference on Intelligent Computer Mathematics, 309-314 | 2020 |
Z Bouraoui, A Cornuéjols, T Denœux, S Destercke, D Dubois, ... arXiv preprint arXiv:1912.06612 | 2019 |
1 - 20
计算机程序会自动估算并确定日期和引用次数。