author = {B. Buchberger and M. Marin and E. Tomuta and D. Vasaru},
title = {{Special Provers within the Theorema Project}},
language = {english},
year = {1997},
month = {April 28-30},
annote = {1997-04-28-B},
note = {Contributed talk at CALCULEMUS'97 (International Workshop on Systems for Integrated Computation and Deduction), Trento, Italy},
conferencename = {CALCULEMUS'97 (International Workshop on Systems for Integrated Computation and Deduction), Trento, Italy}