Andrzej Trybulec,波兰数学家和计算机科学家(生于 1941 年)
Andrzej Wojciech Trybulec,(1941 年 1 月 29 日在波兰克拉科夫 - 2013 年 9 月 11 日在波兰比亚韦斯托克)是波兰数学家和计算机科学家,因在 Mizar 系统上的工作而闻名。
Andrzej Trybulec,波兰数学家和计算机科学家(生于 1941 年)
Andrzej Wojciech Trybulec,(1941 年 1 月 29 日在波兰克拉科夫 - 2013 年 9 月 11 日在波兰比亚韦斯托克)是波兰数学家和计算机科学家,因在 Mizar 系统上的工作而闻名。