Kajian penggunaan kalkulus predikat bagi perwakilan pengetahuan dan hujahan dalam domaian penyakit mata /
Kertas Projek (Sarjana Muda Sains Komputer) - Universiti Teknologi Malaysia, 2001
Main Author: | 351578 Siti Zubaida Sadek |
---|---|
Format: | |
Language: | may |
Published: |
Skudai : Universiti Teknologi Malaysia,
2001
|
Subjects: |
Similar Items
-
Pembinaan aplikasi bagi menentusahkan pernyataan kalkulus predikat /
by: 413876 Emran Osman, et al.
Published: (2006) -
The computational complexity of logical theories /
by: 366280 Ferrante, Jeanne, et al.
Published: (1979) -
Kalkulus 6 : penggunaan kamiran /
by: 282346 Ressang, Aminuddin
Published: (tiad) -
Terjemahan bahasa melayu kepada kalkulus predikat berdasarkan pewakilan pengetahuan /
by: 412612 Muhammad Azmil Usol Ghafli, et al.
Published: (2006) -
Propositional and predicate calculus : a model of argument /
by: 244860 Goldrei, Derek
Published: (2005)