Automation of reasoning 2: classical papers on computational logic 1967-1970
Siekmann, Jorg; Wrightson, Graham
(Springer-Verlag, 1983)
|
| Jenis Koleksi : | Buku Teks SO |
| No. Panggil : | 006.35 AUT |
| Entri tambahan-Nama orang : | |
| Subjek : | |
| Penerbitan : | New York: Springer-Verlag, 1983 |
| Sumber Pengatalogan : | |
| ISBN : | 0387120440 |
| Tipe Konten : | |
| Tipe Media : | |
| Tipe Carrier : | |
| Edisi : | |
| Deskripsi Fisik : | 637 p. ; 23 cm. |
| Catatan Bibliografi : | |
| Catatan Seri : | |
| Catatan Umum : | SO 2012 |
| Catatan Versi Asli : | |
| Lembaga Pemilik : | Universitas Indonesia |
| Lokasi : | Perpustakaan UI, Lantai 2 |
| No. Panggil | No. Barkod | Ketersediaan |
|---|---|---|
| 006.35 AUT | 01-10-12000706 | TERSEDIA |
| Ulasan: |
| Tidak ada ulasan pada koleksi ini: 144931 |
