Halimah Badioze Halimah

Publication Activity (10 Years)

Years Active: 2007-2009
Publications (10 Years): 0

Publications

Rabiah Abdul Kadir, Tengku M. T. Sembok, Halimah Badioze Halimah
Generating 3D Visual Expression Using Semantic Simplification Description Based on Logical Representation. IVIC (2009)
Rabiah Abdul Kadir, Tengku Mohd Tengku Sembok, Halimah Badioze Halimah
Towards Skolemize Clauses Binding for Reasoning in Inference Engine. ICCSA Workshops (2007)