[ 1 ].

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

---

[ 2 ].

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

---

.

• 1