schließen
de
en
Inhalt
Universität Innsbruck
(
17958
Titel
)
Digital
Dok
zum Inhalt
Universitäts- und
Landesbibliothek Tirol
2
Titel
Alle
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
Volltext verfügbar
Learning proof search in proof assistants
Färber, Michael Roman
Innsbruck, 31 July 2018
Volltext verfügbar
Learning-assisted reasoning within proof assistants
Gauthier, Thibault Andre Jean-Louis
Innsbruck, 1 August 2018