[ 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
|
[ 3 ].
Automated Machine Learning : Methods, Systems, Challenges
| Penulis | : |
Frank Hutter, Lars Kotthoff, Joaquin Vanschoren
|
| Jenis | : |
buku
|
| Tahun | : |
2019-07-10
|
| Bahasa | : |
inggris
|
| Penerbit | : |
Springer
|
[ 4 ].
Automated Deduction CADE29 : 29th International Conference on Automated Deduction Rome, Italy, July 1–4, 2023 Proceedings
| Penulis | : |
Brigitte Pientka, Cesare Tinelli
|
| Jenis | : |
buku
|
| Tahun | : |
2023-05-16
|
| Bahasa | : |
inggris
|
| Penerbit | : |
Springer
|
[ 5 ].
Automated Deduction CADE 28: 28th International Conference on Automated Deduction Virtual Event, July 12–15, 2021 Proceedings
| Penulis | : |
André Platzer, Geoff Sutcliffe
|
| Jenis | : |
buku
|
| Tahun | : |
2021-10-26
|
| Bahasa | : |
inggris
|
| Penerbit | : |
Springer
|
.
