Publications
Results 1-4 of 4 (Search time: 0.019 seconds).
- previous
- 1
- next
Item hits:
| Issue Date | Title | Author(s) | |
|---|---|---|---|
| 1 | 2005 | Automated reasoning, knowledge representation and management | Baumgartner, Peter; Furbach, Ulrich; Yahya, Adnan |
| 2 | 21-Jul-2000 | A parameterized procedure for model computations in disjunctive theories | Yahya, Adnan |
| 3 | 1-Mar-2002 | Ordered semantic hypertableaux | Yahya, Adnan; Plaisted, David A. |
| 4 | 27-Oct-2021 | Human computation based platform for citizen services in smart cities | Yahya, Adnan ; Yahya, Yazan ; Misk, Nebras ; Hijja, Hamzah |
Discover
By type
- 5475 Publications
- 859 Theses
- 139 journals
- 42 events
- 34 Organizations
- 26 Conference Materials
- 25 Researcher profiles
- 13 Fundings
- 4 Datasets