No image available for this title

Logic for computer science foundations of automatic theorem proving

Tidak Tersedia Deskripsi

Ketersediaan
11199/92Tersedia
Informasi Detail
Judul Seri
-
No. Panggil
-
Penerbit
: John Wiley & Sons.,
Deskripsi Fisik
xv,511p.;ill.;ind.;20cm.
Bahasa
ISBN/ISSN
-
Klasifikasi
511.3
Tipe Isi
-
Tipe Media
-
Tipe Pembawa
-
Edisi
-
Subjek
Automatic Theorem Proving
Logic, Symbolic And Mathematicals
Info Detail Spesifik
-
Pernyataan Tanggungjawab
Versi lain/terkait

Tidak tersedia versi lain

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