19317212 Project Seminar

SoSe 17: WYSIWYG-Editor for Higher Order Logic

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

14 Class schedule

Regular appointments

Mon, 2017-09-18 09:00 - 17:00
Tue, 2017-09-19 09:00 - 17:00
Wed, 2017-09-20 09:00 - 17:00
Thu, 2017-09-21 09:00 - 17:00
Fri, 2017-09-22 09:00 - 17:00
Mon, 2017-09-25 09:00 - 17:00
Tue, 2017-09-26 09:00 - 17:00
Wed, 2017-09-27 09:00 - 17:00
Thu, 2017-09-28 09:00 - 17:00
Fri, 2017-09-29 09:00 - 17:00
Mon, 2017-10-02 09:00 - 17:00
Wed, 2017-10-04 09:00 - 17:00
Thu, 2017-10-05 09:00 - 17:00
Fri, 2017-10-06 09:00 - 17:00

Subjects A - Z