Searching for authors named Bruce Spencer – sorted by Relevance.
-
Inferring data transformation rules to integrate semantic web services
- Inferring Data Transformation Rules to Integrate Semantic Web Services Bruce Spencer and Sandy Liu
- Cited by 7 (1 self) – Add To MetaCart
-
What does Software Engineering Practice offer to Semantic Web Service Composition?
- What does Software Engineering Practice offer to Semantic Web Service Composition? Bruce Spencer
- Add To MetaCart
-
Efficient Algorithms to Detect and Restore Minimality, an Extension of the Regular Restriction of Resolution
- of resolution Bruce Spencer and J.D. Horton University of New Brunswick P.O. Box 4400, Fredericton, New
- Add To MetaCart
-
Clause Trees: a Tool for Understanding and Implementing Resolution in Automated Reasoning
- . Horton and Bruce Spencer University of New Brunswick, Fredericton, New Brunswick, Canada E3B 5A3 email
- Cited by 7 (6 self) – Add To MetaCart
-
Avoiding Duplicate Proofs with the Foothold Refinement
- Avoiding Duplicate Proofs with the Foothold Refinement Bruce Spencer Faculty of Computer Science
- Cited by 2 (1 self) – Add To MetaCart
-
Rank/Activity: A Canonical Form for Binary Resolution
- Rank/Activity: A Canonical Form for Binary Resolution J. D. Horton and Bruce Spencer Faculty
- Cited by 2 (2 self) – Add To MetaCart
-
Extending the Regular Restriction of Resolution to Non-Linear Subdeductions
- Extending the Regular Restriction of Resolution to Non-Linear Subdeductions Bruce Spencer and J. D
- Cited by 2 (2 self) – Add To MetaCart
-
Contents
- 4997 - Honours Thesis Supervisor: Dr. Bruce Spencer Faculty of Computer Science University of New
- Add To MetaCart
-
Extending the Regular Restriction of Resolution to Non-Linear Subdeductions
- Extending the Regular Restriction of Resolution to Non-Linear Subdeductions Bruce Spencer and J. D
- Add To MetaCart
-
Negotiating Exchanges of Private Information for Web
- Service Eligibility Keping Jia 1,2 and Bruce Spencer 1,2 1 National Research Council, 46 Dineen Dr
- Add To MetaCart

