Browsing by Author Calin, Georgel
Showing results 1 to 1 of 1
CoLoSS: The Coalgebraic Logic Satisfiability Solver(System Description)
Author(s) | Calin, Georgel; Myers, Rob; Pattinson, Dirk, et al |
---|---|
Type | Journal article |
Date Published | 2009 |
Date Created | - |
- previous
- 1
- next
Updated: 12 April 2016/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator