archives

Browse by Subject: Deduction and Theorem Proving (F.4.1)


Home 

About 

Browse 

Search 

Register 

Subscriptions 

Deposit Papers 

Help
    


This subject category contains 2 entries

Bao, Jie, Caragea, Doina and Honavar, Vasant (2006) A Tableau-based Federated Reasoning Algorithm for Modular Ontologies. Technical Report, Computer Science, Iowa State University.

Bao, Jie, Caragea, Doina and Honavar, Vasant (2006) A Tableau-based Federated Reasoning Algorithm for Modular Ontologies. Technical Report, Computer Science, Iowa State University.



Contact site administrator at: ssg@cs.iastate.edu