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
Search:
for
Start a new search
Add/Remove Filters (1 filters currently applied)
Hide Filters
Current filters:
Author
Subject
Date Issued
Type
People
Structure
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Add filters:
Use filters to refine the search results.
Author
Subject
Date Issued
Type
People
Structure
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Results 31-40 of 68 (Search time: 0.486 seconds).
Results/Page
5
10
20
50
|
Sorted by
Relevance
previous
1
2
3
4
5
6
7
next
Item hits:
Issue Date
Title
Author(s)
1
Jun-1998
On the problems of information technology management in developing nations
Yahya, Adnan
2
Mar-2003
A relevance restriction strategy for automated deduction
Plaisted, David A.; Yahya, Adnan
3
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
4
May-1996
Minimal model generation with positive unit hyper-resolution tableaux
Bry, Francois; Yahya, Adnan
5
Jul-1996
Model generation in disjunctive normal databases
Yahya, Adnan
6
Jan-2002
Duality for goal-driven query processing in disjunctive deductive databases
Yahya, Adnan
7
May-1998
On the global dimension of computer legislation: a third world perspective
Yahya, Adnan
8
10-Nov-1989
Patterns of University Computing in Developing Nations: The West Bank Experience
Abdallah, Abdallah; Yahya, Adnan
9
Jan-2010
The interaction between high school curriculum and first year college courses: the case of computing
Yahya, Adnan
10
Jun-1998
Towards a Viable Computer Industry in Developing Nations: The West Bank Case
Yahya, Adnan
Discover
Author
10
Salhi, Ali
8
Yahya, Adnan
5
Abdallah, Abdallah
4
Bry, Francois
4
Minker, Jack
2
Abu Helou, Mamoun
2
Bouquet, Paolo
2
Fellbaum, Christiane
2
Fernandez, Jose Alberto
2
Hicks, Amanda
.
next >
Subject
9
Artificial intelligence
8
Deductive databases
6
Computational linguistics
6
Natural language processing (Comp...
4
Automatic theorem proving
3
Cross-language information retrieval
3
Data mining
3
Database design
3
Database management
3
Logic programming
.
next >
Date issued
6
2020 - 2022
18
2010 - 2019
17
2000 - 2009
21
1990 - 1999
6
1984 - 1989