Detail Pustaka

AUTOMATED REASONING: 11TH INTERNATIONAL JOINT CONFERENCE, IJCAR 2022 HAIFA, ISRAEL, AUGUST 8–10, 2022 PROCEEDINGS

Penulis

Jasmin Blanchette, Laura Kovács, Dirk Pattinson

Kategori teknik informatika ,
Kata kunci automated , reasoning ,
Penerbit Springer
Tahun 2022-06-07
Bahasa inggris
Jenis buku
Halaman 756 Halaman
Hak Cipta Jasmin Blanchette, Laura Kovács, Dirk Pattinson
ISBN 978-3-031-10769-6
Hak Akses open_akses