Фотографии [1]
Нидерландский математик, известный исследованиями в области теории графов, автоматического доказател