Andrzej Trybulec

Andrzej Wojciech Trybulec (29 January 1941 in Kraków, Poland – 11 September 2013 in Białystok, Poland) was a Polish mathematician and computer scientist noted for work on the Mizar system. Provided by Wikipedia
Cover Image
Read Now

1
by Asperti, Andrea
Published 2004
Springer Berlin Heidelberg
Other Authors: “...Trybulec, Andrzej...”
Cover Image
Read Now

2
Published 2004
Springer Berlin Heidelberg
Other Authors: “...Trybulec, Andrzej...”