Skip navigation
Home
Communities
& Collections
Research Outputs
Researchers
Organizations
Projects
Explore by
Research Outputs
Researchers
Organizations
Projects
Help
Sign on to:
My DSpace
Receive email
updates
Edit Account details
Publications
for
Start a new search
Add/Remove Filters (2 filters currently applied)
Hide Filters
Current filters:
Title
Author
Journal
Subject
Date Issued
Type
Fulltext
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Title
Author
Journal
Subject
Date Issued
Type
Fulltext
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Add filters:
Use filters to refine the search results.
Title
Author
Journal
Subject
Date Issued
Type
Fulltext
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Results 21-30 of 57 (Search time: 0.353 seconds).
Results/Page
5
10
20
50
|
Sorted by
Relevance
previous
1
2
3
4
5
6
next
Item hits:
Issue Date
Title
Author(s)
1
2001
Updates in disjunctive deductive databases: a minimal model based approach
Yahya, Adnan
2
21-Jun-1992
The Impact of Computers on the Local Content of Engineering Programs
Yahya, Adnan
3
Jun-1998
On the problems of information technology management in developing nations
Yahya, Adnan
4
Mar-2003
A relevance restriction strategy for automated deduction
Plaisted, David A.; Yahya, Adnan
5
Jun-1998
Satchmo: minimal model generation and compilation (system description)
Yahya, Adnan; Bruggemann, Thomas; Eisinger , Norbert; Panne, Sven; Torge, Sunna; Bry, Francois; Geisler, Tim; Schutz, Heribert
6
May-1996
Minimal model generation with positive unit hyper-resolution tableaux
Bry, Francois; Yahya, Adnan
7
Jul-1996
Model generation in disjunctive normal databases
Yahya, Adnan
8
Jan-2002
Duality for goal-driven query processing in disjunctive deductive databases
Yahya, Adnan
9
May-1998
On the global dimension of computer legislation: a third world perspective
Yahya, Adnan
10
10-Nov-1989
Patterns of University Computing in Developing Nations: The West Bank Experience
Abdallah, Abdallah; Yahya, Adnan
Discover
By type
6266
Publications
860
Theses
140
journals
42
events
38
Organizations
29
Researcher profiles
27
Conference Materials
13
Fundings
4
Datasets
Author
7
Salhi, Ali
7
Yahya, Adnan
4
Abdallah, Abdallah
4
Minker, Jack
3
Bry, Francois
2
Fernandez, Jose Alberto
2
Plaisted, David A.
2
Yahya, Adnan
1
AbdelHafez, Momin
1
Abu Shama, Samah
.
next >
Subject
9
Deductive databases
4
Artificial intelligence
4
Computational linguistics
4
Database design
4
Natural language processing (Comp...
3
Automatic theorem proving
3
Data mining
3
Database management
3
Logic programming
3
Natural language processing (Comp...
.
next >
Date issued
5
2020 - 2022
12
2010 - 2019
14
2000 - 2009
20
1990 - 1999
6
1984 - 1989
Fulltext
57
With Fulltext