No image available for this title

First-Order Logic and Automated Theorem Proving

Tidak Tersedia Deskripsi

Ketersediaan
160012300220160My Library (RAK 1)Tersedia
Informasi Detail
Judul Seri
-
No. Panggil
160
Penerbit
New York : Springer-Verlag.,
Deskripsi Fisik
-
Bahasa
English
ISBN/ISSN
978-1-4612-7517-2
Klasifikasi
160
Tipe Isi
-
Tipe Media
-
Tipe Pembawa
-
Edisi
-
Subjek
first-order logic
Info Detail Spesifik
-
Pernyataan Tanggungjawab
Versi lain/terkait

Tidak tersedia versi lain

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