Search alternatives:
anti-proved » anti-proven, anti-improved, anti-approved
anti-prover » anti-proven, anti-proves, anti-grover
Cover Image
Read Now

1
Published 1986
Springer Berlin Heidelberg
Table of Contents: “... -- The karlsruhe induction theorem proving system -- Overview of a theorem-prover for a computational logic -- GEO...”