Searching for "The Substitutional Framework for Sorted Deduction Fundamental Results on Hybrid Reasoning." – sorted by Relevance.
2 documents found, showing 1 through 2.
-
The Substitutional Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning
- …The Substitutional Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning…
- Cited by 43 (9 self) – Add To MetaCart
-
Term Schematazations and Their Applications - CADE 13 Workshop
- …. [Fri91] Alan M. Frisch. The substitutional framework for sorted deduction: Fundamental results…
- Add To MetaCart
Showing 1 through 2.
