Realization of a geometry-theorem proving machine (1959)

by H Gelerntner
Venue:in Computers and