Poznański Portal Matematyczny

Andrzej Trybulec (1941–2013)

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.

Do góry