搜索结果: 1-1 共查到“代数学 Games”相关记录1条 . 查询时间(0.062 秒)
Learning, Realizability and Games in Classical Arithmetic
Learning Realizability Games Classical Arithmetic
font style='font-size:12px;'>
2011/2/25
In this dissertation we provide mathematical evidence that the concept of learning can be used to give a new and intuitive computational semantics of classical proofs in various fragments of Predicati...