equal
deleted
inserted
replaced
5 {\LARGE Bachelor's Thesis}\\ |
5 {\LARGE Bachelor's Thesis}\\ |
6 |
6 |
7 \vspace{16mm} |
7 \vspace{16mm} |
8 |
8 |
9 {\huge \bf Userinterfaces for Computer Theorem Provers\\ |
9 {\huge \bf Userinterfaces for Computer Theorem Provers\\ |
10 Feasibility Study in the Isac-Projekt\\} |
10 Feasibility Study in the \isac-Projekt\\} |
11 |
11 |
12 \vspace{16mm} |
12 \vspace{16mm} |
13 |
13 |
14 {\LARGE Marco Steger\textsuperscript{1}}\\ |
14 {\LARGE Marco Steger\textsuperscript{1}}\\ |
15 |
15 |
58 {\LARGE Bachelorarbeit}\\ |
58 {\LARGE Bachelorarbeit}\\ |
59 |
59 |
60 \vspace{16mm} |
60 \vspace{16mm} |
61 |
61 |
62 {\huge \bf Userinterfaces f\"ur Computer Theorem Prover\\ |
62 {\huge \bf Userinterfaces f\"ur Computer Theorem Prover\\ |
63 Machbarkeits-Studie im Isac-Projekt\\} |
63 Machbarkeits-Studie im \isac-Projekt\\} |
64 |
64 |
65 \vspace{16mm} |
65 \vspace{16mm} |
66 |
66 |
67 {\LARGE Marco Steger\textsuperscript{1}}\\ |
67 {\LARGE Marco Steger\textsuperscript{1}}\\ |
68 |
68 |