Zbigniew Zwinogrodzki

Publication Activity (10 Years)

Years Active: 1974-1976
Publications (10 Years): 0

Publications

Zbigniew Zwinogrodzki
Equivalence and Optimization of Recursive Program Schemata. MFCS (1976)
Ivan Kramosil, Zbigniew Zwinogrodzki
Statistical methods for comparing theorem proving algorithms. Kybernetika 10 (3) (1974)