Searching for authors named Bruce Spencer – sorted by Relevance.
20 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
