Automated Reasoning with Analytic Tableaux and Related Methods:30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings

Koleksi

Katalog

Automated Reasoning with Analytic Tableaux and Related Methods:30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings
22.21.2175 - Anupam Das, Sara Negri

Barcode

22.21.2175-1

Kondisi

Tersedia

Tanggal masuk

14 December 2022

Informasi Koleksi

Unit

Asal penerimaan

Beli

Pemasok

Logistik Telkom University

Harga pembelian

Jenis katalog

Buku - Elektronik (E-Book)

Lokasi

Tel-U Gedung Manterawu Lantai 5

Kembali