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)
|
| Tugas aKhir ini membahas salah satu aplikasi dari teknik-teknik "Automated Reasoning Program", yaitu dalam melakukan eksekusi simbolik suatu program, dan implementasinya dalam bahasa pemograman PROLOG. |
 S26935-Mirza Razoki.pdf :: Unduh
|
| No. Panggil : | S26935 |
| Entri utama-Nama orang : | |
| Entri tambahan-Nama orang : | |
| Subjek : | |
| Penerbitan : | Depok: Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 1988 |
| Program Studi : |
| 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 |
