Detail Cantuman
Prosiding
Automated Deduction – CADE 26 26th International Conference on Automated Deduction Gothenburg, Sweden, August 6 – 11, 2017 Proceedings
- Bagikan:
Tidak Tersedia Deskripsi
Ketersediaan
| EPROUPT180276 | EPROUPT180276 | Perpustakaan Pusat (EPROUPT180276) | B A C A D I T E M P A T |
Lampiran Berkas
Informasi Detil
| Judul Seri |
-
|
|---|---|
| No. Panggil |
-
|
| Penerbit | Springer International Publishing AG: ., 2017 |
| Deskripsi Fisik |
-
|
| Bahasa |
English
|
| ISBN/ISSN/NPM |
1611-3349
|
| Klasifikasi |
NONE
|
| Tipe Isi |
-
|
| Tipe Media |
-
|
|---|---|
| Tipe Pembawa |
-
|
| Edisi |
-
|
| Subyek | |
| Info Detil Spesifik |
-
|
| Pernyataan Tanggungjawab |
-
|
Versi lain/terkait
Tidak tersedia versi lain