Interactive Theorem Proving

Koleksi

Katalog

Interactive Theorem Proving
16.21.211 - Sandrine Blazy, Christine Paulin-Mohring, David Pichardie

Barcode

16.21.211-1

Kondisi

Tersedia

Tanggal masuk

22 March 2016

Informasi Koleksi

Unit

Asal penerimaan

Beli

Pemasok

Harga pembelian

Jenis katalog

Buku - Elektronik (E-Book)

Lokasi

Tel-U Gedung Manterawu Lantai 5

Kembali