Image of Automated Deduction – CADE-24
Penanda Bagikan

E-Book

Automated Deduction – CADE-24

Tidak Tersedia Deskripsi

Ketersediaan
#
Belum memasukkan lokasi Belum memasukkan lokasi
978-3-642-38573-5
Tersedia
Informasi Detail
Judul Seri
Lecture Notes in Computer Science
No. Panggil
-
Penerbit
Springer Berlin Heidelberg : Springer.,
Deskripsi Fisik
http://dx.doi.org/10.1007/978-3-642-38574-2
Bahasa
English
ISBN/ISSN
978-3-642-38574-2
Klasifikasi
LNCS
Edisi
-
Subjek

Info Detail Spesifik
-
Versi lain/terkait

Tidak tersedia versi lain

Lampiran Berkas
Tidak Ada Data
Komentar
Anda harus masuk sebelum memberikan komentar