Aplikasi teknik-teknik automated reasoning program untuk eksekusi simbolik suatu program
Mirza Razoki;
Sumantri Slamet, supervisor; Indra Orchidea, supervisor
(Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 1988)
|
 S26935-Mirza Razoki.pdf :: Unduh
|
| Jenis Koleksi : | UI - Skripsi Membership |
| No. Panggil : | S26935 |
| Entri utama-Nama orang : | |
| Entri tambahan-Nama orang : | |
| Program Studi : | |
| Subjek : | |
| Penerbitan : | Depok: Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 1988 |
| Bahasa : | ind |
| Sumber Pengatalogan : | LibUI ind rda |
| Tipe Konten : | text |
| Tipe Media : | computer |
| Tipe Carrier : | online resource |
| Deskripsi Fisik : | vi, 68 pages ; 28 cm |
| Naskah Ringkas : | |
| Lembaga Pemilik : | Universitas Indonesia |
| Lokasi : | Perpustakaan UI, Lantai 3 |
| No. Panggil | No. Barkod | Ketersediaan |
|---|---|---|
| S26935 | 14-19-818687877 | TERSEDIA |
| Ulasan: |
| Tidak ada ulasan pada koleksi ini: 20180343 |
