Andrzej Trybulec, Polish mathematician and computer scientist (born 1941)

Polish mathematician and computer scientist

Andrzej Wojciech Trybulec was a Polish mathematician and computer scientist noted for work on the Mizar system.

Related Wikipedia articles