UOBScholar Hub
UOB Libraries created the UOBScholar Hub, an Institutional Repository (IR) for archiving and collecting all the research output of the UOB community. It aims to improve the visibility, usage and impact of research conducted at UOB. Materials included are: academic journal articles, conference papers and presentations, books and book chapters, ongoing research papers, reports and patents.
Submit your Publication
Browsing by Subject Typed predicate calculus
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) |
|---|---|---|
| 2008 | DEPICT : a high-level formal language for modeling constraint satisfaction problems | Abbas, Abdulwahed; Tsang, Edward P.K; Nasri, Ahmad H |