Login / Signup
On Turing's Proof of the Undecidability of the Halting Problem.
Ulisses Ferreira
Published in:
MSV/AMCS (2004)
Keyphrases
</>
description logics
theorem prover
machine intelligence
theorem proving
probabilistic planning
linear logic
genetic algorithm
turing machine
real time
answering queries