The PCS Prover in Theorema (0)

by B Buchberger
Venue:In: Lecture Notes in Computer Science (LNCS) 2178