Skip to content
Snippets Groups Projects
Commit c3de4b57 authored by Michael Kohlhase's avatar Michael Kohlhase
Browse files

Update README.md

parent a80cb505
Branches
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 3 additions and 2 deletions
README.md
+ 3
− 2
View file @ c3de4b57
......@@ -49,5 +49,6 @@ their discussion areas.
algebra, math data bases, theorem provers (in the
[OpenDreamKit](http://opendreamkit.org) EU project) #7
* Cognitive engineering (semantische information/help systems for CAD/CAM systems).
* Corpus Linguistics for Mathematics: #2 #6
* UIs and Interaction with all of this: #8
* Corpus Linguistics for Mathematics: #2 #6 #14
* UIs and Interaction with all of this: #8 #13
* Application of machine learning techniques to generating semantic data. #14
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment