19317212
Project Seminar
WiSe 17/18: Projektseminar: KI-gestützte Pflege einer internationalen Schuldatenbank
Christoph Benzmüller
Comments
The projects goal is to develop a WYSIWYG editor (what-you-see-is-what-you-get-editor) for the machine readable format TPTP THF. This format is used to represent and formalize logical statements and ... read more
17 Class schedule
Regular appointments
Mon, 2018-02-26 12:00 - 18:00
Tue, 2018-02-27 10:00 - 18:00
Wed, 2018-02-28 10:00 - 18:00
Thu, 2018-03-01 10:00 - 18:00
Fri, 2018-03-02 10:00 - 18:00
Mon, 2018-03-05 10:00 - 18:00
Mon, 2018-03-12 10:00 - 18:00
Mon, 2018-03-19 10:00 - 18:00
Mon, 2018-03-26 10:00 - 18:00
Tue, 2018-04-03 12:00 - 18:00
Mon, 2018-02-26 10:00 - 12:00
Mon, 2018-03-05 10:00 - 12:00
Mon, 2018-03-12 10:00 - 12:00
Mon, 2018-03-19 10:00 - 12:00
Mon, 2018-03-26 10:00 - 12:00
Tue, 2018-04-03 10:00 - 12:00
Fri, 2018-04-06 10:00 - 14:00