Search alternatives:
"prover" » "proven", "proved", "proves"
Cover Image
Read Now

1
by Kropf, Thomas
Published 1995
Springer
Cover Image
Read Now

2
Published 1995
Springer Berlin Heidelberg
“...This volume presents the proceedings of the Second International Conference on Theorem Provers...”