Searching for "An HOL Theory for Logic States with Indeterminate Strengths." – sorted by Relevance.
-
Annual Review
- . with Jody W. Gambles, "An HOL Theory for Logic States with Indeterminate Strengths," To be presented at 1991
- Add To MetaCart

