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 (2 filters currently applied)
Hide Filters
Current filters:
Author
Subject
Date Issued
Type
People
Structure
Equals
Contains
ID
Not Equals
Not Contains
Not ID
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 11-20 of 35 (Search time: 0.519 seconds).
Results/Page
5
10
20
50
|
Sorted by
Relevance
previous
1
2
3
4
next
Item hits:
Issue Date
Title
Author(s)
1
Jul-2000
Positive unit hyperresolution tableaux and their application to minimal model generation
Bry, Francois; Yahya, Adnan
2
2003
Satchmorbid: Satchmo(RE) with Bidirectional Relevancy
Yahya, Adnan; Loveland, Donald
3
2000
Positive Unit Hyper-Resolution Tableaux for Minimal Model Generation
Yahya, Adnan; Bry, Francois
4
2014
Quality Assessment of General and Categorized Arabic Text Corpora
Yahya, Adnan; Salhi, Ali
5
Nov-2007
Engineering accreditation: a developing nation perspective
Yahya, Adnan
6
24-Mar-2014
Information Technology as Cultural Heritage Preservation Tool
Yahya, Adnan
7
9-Oct-2011
Tools for Arabic People Names Processing and Retrieval A Statistical Approach
Salhi, Ali; Yahya, Adnan
8
2001
Updates in disjunctive deductive databases: a minimal model based approach
Yahya, Adnan
9
May-2013
Intermediate report on research setup
Abu Helou, Mamoun; Jarrar, Mustafa; Palmonari, Matteo; Salhi, Ali; Hicks, Amanda; Bortoli, Stefano; Roche, Christophe; Fellbaum, Christiane; Bouquet, Paolo; Yahya, Adnan
10
23-Apr-2015
Internationalizing technical education the economic way
Yahya, Adnan
Discover
Author
10
Salhi, Ali
2
Abu Helou, Mamoun
2
Bouquet, Paolo
2
Bry, Francois
2
Fellbaum, Christiane
2
Hicks, Amanda
2
Jarrar, Mustafa
2
Loveland, Donald
2
Palmonari, Matteo
2
Plaisted, David A.
.
next >
Subject
7
Artificial intelligence
6
Computational linguistics
6
Natural language processing (Comp...
4
Automatic theorem proving
3
Cross-language information retrieval
3
Deductive databases
2
Arabic language - Data processing
2
Computer-assisted instruction
2
Cultural property
2
Data mining
.
next >
Date issued
18
2010 - 2019
17
2000 - 2009