Proof-theoretic analysis by iterated reflection.

Lev D. Beklemishev

Published in: Arch. Math. Log. (2003)

Keyphrases

image processing
theoretic analysis
theorem proving
theorem prover
artificial intelligence
mobile robot
neural network
three dimensional
high level
search algorithm
relational databases
linear logic
automated theorem proving