First-Order Logic and Automated Theorem Proving | Perpustakaan INSTIDLA

Pencarian berdasarkan :

SEMUA Pengarang Subjek ISBN/ISSN Pencarian Spesifik

Pencarian terakhir:

{{tmpObj[k].text}}

No image available for this title

First-Order Logic and Automated Theorem Proving

Fitting, Melvin - Nama Orang;

Tidak Tersedia Deskripsi

Ketersediaan

160012300220 160 My Library (RAK 1) Tersedia

Informasi Detail

Judul Seri: -
No. Panggil: 160
Penerbit: New York : Springer-Verlag., 1996
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