A Proof of Stavi's Theorem.

Alexander Rabinovich

Published in: Log. Methods Comput. Sci. (2018)

Keyphrases

interactive theorem proving
linear logic
mathematical proofs
intuitionistic logic
control system
database
theorem proving
von neumann
theorem prover
proof planning
proof theory
evolutionary algorithm
data structure
bayesian networks
computer vision
information retrieval
neural network