W dniu 11 września 2013 roku zmarł Andrzej Wojciech Trybulec, polski matematyk, specjalista w zakresie lingwistyki matematycznej, twórca systemu automatycznego dowodzenia twierdzeń Mizar.
Andrzej Trybulec (1941–2013)
11 września 2016 | Wróć do góry