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 31-40 of 66 (Search time: 0.308 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
By type
6242
Publications
860
Theses
140
journals
42
events
37
Organizations
29
Researcher profiles
27
Conference Materials
13
Fundings
4
Datasets
Author
10
Salhi, Ali
7
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
8
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
Logic programming
3
Natural language processing (Comp...
.
next >
Date issued
5
2020 - 2022
18
2010 - 2019
17
2000 - 2009
20
1990 - 1999
6
1984 - 1989
Type
55
Article
3
Conference Proceedings
2
Technical Report