This page contains the course material for the lecture:

Artificial Intelligence in Theorem Proving

(Sztuczna Inteligencja w Dowodzeniu)

Semester 2019L (March 2020)

The material will be added at the times of the planned lectures, that is March 16-20 and March 30-April 3 at 2pm.
Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory - [   ] 02.pdf 17-Mar-2020 11:08 478K [   ] 03.pdf 18-Mar-2020 13:51 1.2M [   ] 04.pdf 19-Mar-2020 08:38 2.2M [   ] 05-lecture.pdf 20-Mar-2020 13:15 450K [   ] 05-unification.mp4 20-Mar-2020 13:16 14M [   ] 06.pdf 31-Mar-2020 13:45 549K [   ] 07.pdf 31-Mar-2020 13:45 464K [   ] 08.pdf 01-Apr-2020 13:01 658K [   ] 09.pdf 02-Apr-2020 09:14 1.2M [   ] 10.pdf 03-Apr-2020 13:55 1.1M [   ] 05-ty-inference.mp4 20-Mar-2020 13:16 22M Blackboard transformation of a type inference problem to a unification problem. Sorry about focus problems in the first minute - later autofocus was disabled [   ] exam-2019.pdf 14-May-2020 15:19 95K Last year's exam [   ] 01.pdf 17-Mar-2020 11:08 671K Two typos in first lecture fixed
Apache/2.2.3 (Red Hat) Server at cl-informatik.uibk.ac.at Port 80