Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
KAT / papers
KAT papers
0updated -
0updated
-
SMGloM / blue
The Blue Notes of the SMGloM project
0updated -
0updated
-
0updated
-
Tom Wiesing / PythonCompetitionIsh
Competition between python TicTacToe AIs
0updated -
OAF / build-system
papers/manuals on the OAF build system.
0updated -
FrameIT / CICM16-WiP
FrameIT Paper for CICM16
Authors: Denis Rochau, Michael Kohlhase, Dennis Mueller
0updated -
mws / papers
The papers about MathWebSearch
0updated -
ODK / D4.2
Deliverable 4.2
0updated -
FrameIT / bsc16-rochau
Bachelor Thesis Denis Rochau Includes Proposal, Thesis and Presentation
0updated -
0updated
-
Christian Maeder / mmt-errorView
user interface to present error output
0updated -
SMGloM / manuals
The Manuals and Documentation of the SMGloM project
0updated -
0updated
-
0updated
-
0updated
-
0updated
-
0updated
-
0updated