header
George Tsoukalas
Doktorand an der UT Austin, der sich für den automatischen Theorembeweis interessiert.