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