703641 Interactive Theorem Proving
summer semester 2013 | Last update: 16.07.2013 | Place course on memo list703641
Interactive Theorem Proving
PS 3
6
weekly
annually
English
- Faculty of Mathematics, Computer Science and Physics
Group 0
|
||||
---|---|---|---|---|
Date | Time | Location | ||
Thu 2013-03-14
|
08.15 - 11.00 | rr 20 rr 20 | Barrier-free | |
Thu 2013-03-21
|
08.15 - 11.00 | rr 20 rr 20 | Barrier-free | |
Thu 2013-04-11
|
08.15 - 11.00 | rr 20 rr 20 | Barrier-free | |
Thu 2013-04-18
|
08.15 - 11.00 | rr 20 rr 20 | Barrier-free | |
Thu 2013-04-25
|
08.15 - 11.00 | rr 20 rr 20 | Barrier-free | |
Thu 2013-05-02
|
08.15 - 11.00 | rr 20 rr 20 | Barrier-free | |
Thu 2013-05-16
|
08.15 - 11.00 | rr 20 rr 20 | Barrier-free | |
Thu 2013-05-23
|
08.15 - 11.00 | rr 20 rr 20 | Barrier-free | |
Thu 2013-06-06
|
08.15 - 11.00 | rr 20 rr 20 | Barrier-free | |
Thu 2013-06-13
|
08.15 - 11.00 | rr 20 rr 20 | Barrier-free | |
Thu 2013-06-20
|
08.15 - 11.00 | rr 20 rr 20 | Barrier-free | |
Thu 2013-06-27
|
08.15 - 11.00 | rr 20 rr 20 | Barrier-free |