Author Zbigniew Zwinogrodzki

Articles
I. Kramosil and Z. Zwinogrodzki Statistical methods for comparing theorem proving algorithms Volume 10 no. 3, 221-240, 1974