DMCA

On the Representation of Parallel Search in Theorem Proving (1997)

by Maria Paola Bonacina
Venue:Johannes Kepler Universitat
Citations:1 - 1 self