Mercurial > 14ss.theoinf
log notes/tex/ue01_notes.tex @ 8:2475c634729a
age | author | description |
---|---|---|
Mon, 14 Apr 2014 20:02:03 +0200 | Markus Kaiser | show computability and decidability slides |
Sun, 13 Apr 2014 20:22:34 +0200 | Markus Kaiser | first slides |