SiCoTHEO - Simple Competitive parallel Theorem Provers based on SETHEO (1995)

by J. Schumann
Venue:In Parallel Processing for Artificial Intelligence 3, Machine Intelligence and Pattern Recognition
Citations:4 - 1 self