Neg-Raising
(logic) Recursion theory. / (computer science) The branch of the theory of computation that studies which problems are computationally solvable using different models.
A surname from Italian.
Alternative form of neg-raising
Alternative form of coxy
いくつかの近年の論文は、埋め込み節における否定挙上の別の形を提案している。
Don't have an account? Sign up
Do you have an account? Login
DiQt
Free
★★★★★★★★★★
