Browsing by Author Furbach, Ulrich
Showing results 2 to 2 of 2
The hyper Tableaux calculus with equality and an application to finite model computation
Author(s) | Baumgartner, Peter; Furbach, Ulrich; Pelzer, Bjorn |
---|---|
Type | Journal article |
Date Published | 2008 |
Date Created | - |
- previous
- 1
- next
Updated: 12 April 2016/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator