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:00
Abschlussprä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

Subjects A - Z