Rigour and Proof ? Corrigendum.

Oliver Tatton-Brown

Published in: Rev. Symb. Log. (2023)

Keyphrases

image processing
theorem prover
theorem proving
real time
neural network
multimedia
three dimensional
multi agent
support vector
relational databases
linear logic
proof theory
proof search
proof planning
mathematical proofs