Extending Cooper's theorem to Δ 3 0 Turing degrees.

Victor L. Selivanov Mars M. Yamaleev

Published in: Comput. (2018)

Keyphrases

machine intelligence
viewpoint
genetic algorithm
image analysis
turing machine
artificial intelligence
decision making
interactive theorem proving