header
George Tsoukalas
Doktorand na UT Austin se zajímá o automatické dokazování vět.