Raheleh Jalali

Untersuchen von Interpolationsalgorithmen und deren Effektivität beim Verbinden von logischen Aussagen.