19317212
Project Seminar
WiSe 18/19: Softwareprojekt: Logik-Software
Christoph Benzmüller
Comments
Description (english)
The goal of the project is to develop a prototype for the administration and association of school datasets of the non-profit projects ... read more
Suggested reading
[1] http://www.tptp.org/
[2] https://github.com/leoprover/embed_modal
[3] https://github.com/leoprover/embed_modal/blob/master/TODO.md
[4] http://www.tptp.org/cgi-bin/SystemOnTPTP
[5] ... read more
9 Class schedule
Additional appointments
Mon, 2018-12-03 13:00 - 15:00Abschlusspräsentation
Regular appointments
Mon, 2018-10-01 10:00 - 18:00
Tue, 2018-10-02 10:00 - 18:00
Thu, 2018-10-04 10:00 - 18:00
Fri, 2018-10-05 10:00 - 18:00
Mon, 2018-10-08 10:00 - 18:00
Tue, 2018-10-09 10:00 - 18:00
Wed, 2018-10-10 10:00 - 18:00
Thu, 2018-10-11 10:00 - 18:00
Fri, 2018-10-12 10:00 - 18:00