::  Hasil Pencarian  ::  Simpan CSV :: Kembali

Diah Kusumawati, author

Tugas akhir mi membahas cara pembuatan prosedur dan program pembuktian teorema dengan bahasa Turbo Prolog. Dalam hal ini Turbo Prolog digunakan sebagai alat pembukti teorerna. Juga dijelaskan logika dan dasar-dasar cara pembuatan prosedur dan program tersebut, diantaranya yang terpenting adalah dasar dan cara kerja Turbo Prolog, yaitu pembuktian dengan kontradiksi...

Depok: Universitas Indonesia, 1988

S26942

UI - Skripsi (Membership)  Universitas Indonesia Library

• Cari yang mirip
• Tambahkan ke Favorit
• Abstrak