Detail Pustaka

AUTOMATED DEDUCTION CADE 28: 28TH INTERNATIONAL CONFERENCE ON AUTOMATED DEDUCTION VIRTUAL EVENT, JULY 12–15, 2021 PROCEEDINGS

Penulis

André Platzer, Geoff Sutcliffe

Kategori teknik informatika ,
Kata kunci automated , deduction ,
Penerbit Springer
Tahun 2021-10-26
Bahasa inggris
Jenis buku
Halaman 655 Halaman
Hak Cipta André Platzer, Geoff Sutcliffe
ISBN 978-3-030-79876-5
Hak Akses open_akses