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 (3 filters currently applied)
Hide Filters
Current filters:
Title/Name
People
Structure
Type
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Title/Name
People
Structure
Type
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Title/Name
People
Structure
Type
Subject
Author
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Add filters:
Use filters to refine the search results.
Title/Name
People
Structure
Type
Subject
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Results 1-10 of 18 (Search time: 0.271 seconds).
Results/Page
5
10
20
50
|
Sorted by
Relevance
previous
1
2
next
Item hits:
Issue Date
Title
Author(s)
1
3-Jun-2008
Statistical/corpus based methods for improved bilingual (Arabic/English) web search
Yahya, Adnan; Hithnawi, Anwar; Salhi, Ali; Fawadleh, Merna
2
2005
Automated reasoning, knowledge representation and management
Baumgartner, Peter; Furbach, Ulrich; Yahya, Adnan
3
21-Jul-2000
A parameterized procedure for model computations in disjunctive theories
Yahya, Adnan
4
Dec-2001
SATCHMOREBID: SATCHMO(RE) with BIDirectional relevancy
Loveland, Donald; Yahya, Adnan
5
Jul-2000
Positive unit hyperresolution tableaux and their application to minimal model generation
Bry, Francois; Yahya, Adnan
6
2003
Satchmorbid: Satchmo(RE) with Bidirectional Relevancy
Yahya, Adnan; Loveland, Donald
7
2000
Positive Unit Hyper-Resolution Tableaux for Minimal Model Generation
Yahya, Adnan; Bry, Francois
8
Nov-2007
Engineering accreditation: a developing nation perspective
Yahya, Adnan
9
2001
Updates in disjunctive deductive databases: a minimal model based approach
Yahya, Adnan
10
Mar-2003
A relevance restriction strategy for automated deduction
Plaisted, David A.; 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