blob: f2207e65c46c31d00344888cce68a93681f87460 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
|
\pagestyle{plain}
\thispagestyle{empty}
\begin{center}
\begin{figure}[h!]
\centerline{\psfig{file=marchio_unitrento_colore_it_202002.eps,width=0.6\textwidth}}
\end{figure}
\vspace{2 cm}
\LARGE{Department of Information Engineering and Computer Science\\}
\vspace{1 cm}
\Large{Bachelor’s Degree in\\
Computer Science
%Informatica
%Ingegneria dell'Informazione e delle Comunicazioni
%Ingegneria dell'Informazione e Organizzazione d'Impresa
%Ingegneria Elettronica e delle Telecomunicazioni
}
\vspace{2 cm}
\Large\textsc{Final Dissertation\\}
\vspace{1 cm}
\Huge\textsc{Verification via Interaction Nets for Neural Networks\\}
% \Large{\it{Sottotitolo (alcune volte lungo - opzionale)}}
\vspace{2 cm}
\begin{tabular*}{\textwidth}{ c @{\extracolsep{\fill}} c }
\Large{Supervisors} & \Large{Student}\\
\Large{Patrignani Marco}& \Large{Marin Eric}\\
\Large{Vella Flavio}&\\
\end{tabular*}
\vspace{2 cm}
\Large{Academic year 2025/2026}
\end{center}
|
