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 First-Order Predicate Calculus
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) |
|---|---|---|
| 2001 | Toward a general language for the specification of constraint satisfaction problems | Abbas, Abdulwahed; Tsang, Edward P.K |