software
You are here:
main
»
software
Show pagesource
Old revisions
Recent changes
Index
Login
Home
People
Research
Lecture Courses
Events
Software
Find Us
CCG Software
HR
, a system for automated theory formation.
HRAgency
NumbersWithNames
ICARuS, a system combining Machine Learning and Constraint Solving. Developed by
John Charnley
.
software.txt · Last modified: 2010/12/08 18:02 (external edit)
Show pagesource
Old revisions
Back to top