Skip to content
Vinony

Alexander Leitsch

No biography available.

Works (3)

Cover of Automated Model Building
Automated Model Building
Cover of Computational logic and proof theory
Computational logic and proof theory
Cover of The resolution calculus
The resolution calculus
1997