Detail Pustaka

AUTOMATED DEDUCTION CADE29 : 29TH INTERNATIONAL CONFERENCE ON AUTOMATED DEDUCTION ROME, ITALY, JULY 1–4, 2023 PROCEEDINGS

Penulis

Brigitte Pientka, Cesare Tinelli

Kategori teknik informatika ,
Kata kunci automated , deduction ,
Penerbit Springer
Tahun 2023-05-16
Bahasa inggris
Jenis buku
Halaman 614 Halaman
Hak Cipta Brigitte Pientka, Cesare Tinelli
ISBN 978-3-031-38499-8
Hak Akses open_akses