[ 1 ].
Automated Reasoning with Analytic Tableaux and Related Methods : 32nd International Conference, TABLEAUX 2023 Prague, Czech Republic, September 18–21, 2023 Proceedings
| Penulis | : |
Revantha Ramanayake, Josef Urban
|
| Jenis | : |
buku
|
| Tahun | : |
2023-08-15
|
| Bahasa | : |
inggris
|
| Penerbit | : |
Springer
|
[ 2 ].
Automated Reasoning: 11th International Joint Conference, IJCAR 2022 Haifa, Israel, August 8–10, 2022 Proceedings
| Penulis | : |
Jasmin Blanchette, Laura Kovács, Dirk Pattinson
|
| Jenis | : |
buku
|
| Tahun | : |
2022-06-07
|
| Bahasa | : |
inggris
|
| Penerbit | : |
Springer
|
.
