Browsing by Author Nieuwenhuis, Robert
Showing results 1 to 1 of 1
Deduction and applications
Author(s) | Baader, Franz; Baumgartner, Peter; Nieuwenhuis, Robert, et al |
---|---|
Type | Conference paper |
Date Published | 2006 |
Date Created | October 23-28 2005 |
- previous
- 1
- next
Updated: 12 April 2016/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator