Automated Deduction – CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings

Prodi S1 Teknik Informatika

Automated Deduction – CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings

Platzer, André - Nama Orang; Sutcliffe, Geoff - Nama Orang;

Tidak Tersedia Deskripsi

Ketersediaan

Electronic Resource Belum memasukkan lokasi

EP9783030798765

Tersedia

Informasi Detail

Judul Seri: -
No. Panggil: -
Penerbit: : Springer Nature., 2021
Deskripsi Fisik: -
Bahasa: ENGLISH
ISBN/ISSN: 978-3-030-79876-5
Klasifikasi: NONE
Tipe Isi: -
Tipe Media: -
Tipe Pembawa: -
Edisi: -
Subjek: SOFTWARE ENGINEERING
ARTIFICIAL INTELLIGENCE
Info Detail Spesifik: https://library.oapen.org/handle/20.500.12657/50048
Pernyataan Tanggungjawab: -

Versi lain/terkait

Tidak tersedia versi lain

Lampiran Berkas

LINK

Komentar

Anda harus masuk sebelum memberikan komentar