전문 번역가, 번역 회사, 웹 페이지 및 자유롭게 사용할 수 있는 번역 저장소 등을 활용합니다.
"degrees of unsolvability.
"degrees of unsolvability.
마지막 업데이트: 2016-03-03
사용 빈도: 1
품질:
경고: 보이지 않는 HTML 형식이 포함되어 있습니다
"recursive unsolvability of a problem of thue.
"recursive unsolvability of a problem of thue.
마지막 업데이트: 2016-03-03
사용 빈도: 1
품질:
경고: 보이지 않는 HTML 형식이 포함되어 있습니다
"the upper semi-lattice of degrees of recursive unsolvability.
"the upper semi-lattice of degrees of recursive unsolvability.
마지막 업데이트: 2016-03-03
사용 빈도: 1
품질:
경고: 보이지 않는 HTML 형식이 포함되어 있습니다
degrees of unsolvability, perspectives in mathematical logic, springer-verlag.
"degrees of unsolvability", perspectives in mathematical logic, springer-verlag.
마지막 업데이트: 2016-03-03
사용 빈도: 1
품질:
경고: 보이지 않는 HTML 형식이 포함되어 있습니다
see chapter 8, section 8.2 "the unsolvability of the halting problem.
see chapter 8, section 8.2 "the unsolvability of the halting problem.
마지막 업데이트: 2016-03-03
사용 빈도: 1
품질:
경고: 보이지 않는 HTML 형식이 포함되어 있습니다
chapter xiii ("computable functions") includes a discussion of the unsolvability of the halting problem for turing machines.
chapter xiii ("computable functions") includes a discussion of the unsolvability of the halting problem for turing machines.
마지막 업데이트: 2016-03-03
사용 빈도: 1
품질:
경고: 보이지 않는 HTML 형식이 포함되어 있습니다
* martin davis (1958), "computability & unsolvability", mcgraw-hill book company, inc. new york.
* martin davis (1958), "computability & unsolvability", mcgraw-hill book company, inc. new york.
마지막 업데이트: 2016-03-03
사용 빈도: 1
품질:
경고: 보이지 않는 HTML 형식이 포함되어 있습니다
)* marvin minsky 1961, "recursive unsolvability of post's problem of "tag" and other topics in theory of turing machines", "the annals of mathematics, 2nd ser., vol.
)* marvin minsky 1961, "recursive unsolvability of post's problem of "tag" and other topics in theory of turing machines", "the annals of mathematics, 2nd ser., vol.
마지막 업데이트: 2016-03-03
사용 빈도: 1
품질:
경고: 보이지 않는 HTML 형식이 포함되어 있습니다