M. Weigele

Publication Activity (10 Years)

Years Active: 1983-1983
Publications (10 Years): 0

Publications

Norbert Eisinger, M. Weigele
A Technical Note on Splitting and Clausal Normal Form Algorithms. GWAI (1983)