Sign in
On the proof of Solovay's theorem.
Dick de Jongh
Marc Jumelet
Franco Montagna
Published in:
Stud Logica (1991)
Keyphrases
</>
interactive theorem proving
theorem prover
linear logic
information technology
theorem proving
von neumann
automated theorem proving
neural network
search engine
decision making
database systems
multiresolution
hidden markov models
proof theory
proof planning
intuitionistic logic