Browsing by Author Paulson, Lawrence C.
Showing results 3 to 5 of 5
Lightweight relevance filtering for machine-generated resolution
Author(s) | Meng, Jia; Paulson, Lawrence C. |
---|---|
Type | Conference paper |
Date Published | 2006 |
Date Created | August 22, 2006 |
Translating Higher-order Clauses to First-Order Clauses
Author(s) | Paulson, Lawrence C.; Meng, Jia |
---|---|
Type | Journal article |
Date Published | 2008 |
Date Created | - |
Translating higher-order problems to first-order clauses
Author(s) | Meng, Jia; Paulson, Lawrence C. |
---|---|
Type | Conference paper |
Date Published | 2006 |
Date Created | August 22, 2006 |
- previous
- 1
- next
Updated: 12 April 2016/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator