Integrasi model cheking dengan interactive theorem proving pembuatan skrip pembuktian secara otomatis
Eva Magdalena M.;
I.S.W.B. Prasetya, supervisor
(Fakultas Ilmu Komputer Universitas Indonesia, 1997)
|
| No. Panggil : | S26968 |
| Entri utama-Nama orang : | |
| Entri tambahan-Nama orang : | |
| Subjek : | |
| Penerbitan : | Depok: Fakultas Ilmu Komputer Universitas Indonesia, 1997 |
| Program Studi : |
| Bahasa : | ind |
| Sumber Pengatalogan : | |
| Tipe Konten : | |
| Tipe Media : | |
| Tipe Carrier : | |
| Deskripsi Fisik : | xii, 133 hlm. ; 28 cm. + Lamp. |
| Naskah Ringkas : | |
| Lembaga Pemilik : | Universitas Indonesia |
| Lokasi : | Perpustakaan UI, Lantai 3 |
| No. Panggil | No. Barkod | Ketersediaan |
|---|---|---|
| S26968 | 14-23-71568899 | TERSEDIA |
| Ulasan: |
| Tidak ada ulasan pada koleksi ini: 20327065 |
