header
George Tsoukalas
Аспірант Техаського університету в Остіні цікавиться автоматичним доведенням теорем.