Browsing by Author Riche, Jacques M
Showing results 1 to 1 of 1
Decidability, complexity and automated reasoning in relevant logic
Author(s) | Riche, Jacques M |
---|---|
Type | Thesis (PhD) |
Date Published | 1991 |
Date Created | - |
- previous
- 1
- next
Updated: 12 April 2016/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator