Automated Deduction – CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings

Koleksi

Automated Deduction – CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings
23.21.615 - André Platzer, Geoff Sutcliffe
23.21.615-1
Tersedia
03 April 2023

Informasi Koleksi

31
Beli
Telkom University Open Library
 
Buku - Elektronik (E-Book)
Tel-U Gedung Manterawu Lantai 5