Detail Pustaka

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

Kategori teknik informatika ,
Kata kunci automated , reasoning ,
Penerbit Springer
Tahun 2023-08-15
Bahasa inggris
Jenis buku
Halaman 487 Halaman
Hak Cipta Revantha Ramanayake, Josef Urban
ISBN 978-3-031-43513-3
Hak Akses open_akses