K. Kusche

Publication Activity (10 Years)

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

Publications

K. Kusche, B. Kutzler, H. Mayr
Implementation of a geometry theorem proving package in SCRATCHPAD II. EUROCAL (1987)