Image of Automated Reasoning with Analytic Tableaux and Related Methods
Penanda Bagikan

E-Book

Automated Reasoning with Analytic Tableaux and Related Methods

Tidak Tersedia Deskripsi

Ketersediaan
#
Belum memasukkan lokasi Belum memasukkan lokasi
978-3-642-40536-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-40537-2
Bahasa
English
ISBN/ISSN
978-3-642-40537-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