Schwichtenberg, Helmut, (1942-)

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Proof technology and computation by: Schwichtenberg, Helmut, (1942-); Spies, Katharina.; Congress on Progress and Controversies in Oncological Urology (2000:) (Electronic resources)

Subjects

Computer programming Automatic theorem proving Computer software- Development