Automated Reasoning with Analytic Tableaux and Related Methods

Koleksi

Katalog

Automated Reasoning with Analytic Tableaux and Related Methods
16.21.234 - Didier Galmiche, Dominique Larchey-Wendling

Barcode

16.21.234-1

Kondisi

Tersedia

Tanggal masuk

22 March 2016

Unit

Asal penerimaan

Beli

Pemasok

Harga pembelian

Jenis katalog

Buku - Elektronik (E-Book)

Lokasi

Tel-U Bandung - Gedung Manterawu Lantai 5