Detail Cantuman
Pencarian Spesifik
Electronic Resource
Automated Deduction – CADE 28
- Bagikan:
Tidak Tersedia Deskripsi
Ketersediaan
Tidak ada salinan data
Informasi Detail
| Judul Seri |
-
|
|---|---|
| No. Panggil |
005
|
| Penerbit | Carnegie Mellon University : Pittsburgh., 2021 |
| Deskripsi Fisik |
-
|
| Bahasa |
English
|
| ISBN/ISSN |
978-3-030-79876-5
|
| Klasifikasi |
005
|
| Tipe Isi |
text
|
| Tipe Media |
computer
|
|---|---|
| Tipe Pembawa |
online resource
|
| Edisi |
-
|
| Subjek | |
| Info Detail Spesifik |
-
|
| Pernyataan Tanggungjawab |
André Platzer
|
Versi lain/terkait
Tidak tersedia versi lain
Lampiran Berkas
Informasi
Akses Katalog Publik Daring - Gunakan fasilitas pencarian untuk mempercepat penemuan data katalog