Text

automated reasoning and its applications

---

Tidak Tersedia Deskripsi

---

Ketersediaan

0212144794

511.3.aut.a

Perpustakaan Fakultas Teknik

Tersedia

Informasi Detail

Judul Seri

-

No. Panggil

511.3.aut.a

Penerbit

USA : The Mit Press Cmbbridge., 1997

Deskripsi Fisik

-

Bahasa

English

ISBN/ISSN

0-262-22055-5

Klasifikasi

NONE

Tipe Isi

-

Tipe Media

-

Tipe Pembawa

-

Edisi

-

Subjek

-

Info Detail Spesifik

-

Pernyataan Tanggungjawab

-

Versi lain/terkait

Lampiran Berkas

Komentar

---

Anda harus login sebelum memberikan komentar