Ditemukan 1 dokumen yang sesuai dengan query
Mirza Razoki, author
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...
Depok: Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 1988
S26935
UI - Skripsi Membership Universitas Indonesia Library