Search alternatives:
anti-provers » anti-proverbs, anti-providers, anti-provens, anti-proveds, anti-grovers
anti-proves » anti-proven, anti-proved, anti-improves
anti-prover » anti-proven, anti-proved, 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...”
Cover Image
Read Now

2
Published 2023
Springer Nature Switzerland
Table of Contents: “... Uniform Formalisation of Three-Valued Logics in Bisequent Calculus -- Proving Almost-Sure Innermost...”