UI - Skripsi Membership :: Kembali

UI - Skripsi Membership :: Kembali

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)

 Abstrak

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.

 File Digital: 1

Shelf
 S26935-Mirza Razoki.pdf :: Unduh

LOGIN required

 Metadata

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
  • Ketersediaan
  • Ulasan
  • Sampul
No. Panggil No. Barkod Ketersediaan
S26935 14-19-818687877 TERSEDIA
Ulasan:
Tidak ada ulasan pada koleksi ini: 20180343
Cover