＞数理逻辑与数学基础＞递归论＞释义 Church-Turing thesis 丘奇-图灵论题 Church-Turing thesis 丘奇-图灵论题
理论计算机科学 可计算性与计算复杂性 释文 Church-Turing thesis 丘奇-图灵论题
- bartacking machine
- bar-tailed godwit
- Bartel Leendert van der Waerden
- Bartels
- Bartels crater
- Bartel's diagram
- Bartholin
- Bartholin gland
- Bartholinus
- Bartholomites
- Bart Jan Bok
- Bartle
- Bartle-Dunford-Schwartz integral
- Bartlett
- Bartlett decomposition
- Bartlett function
- Bartlett's test method
- Bartlett test
- Bartlett window
- Bartolomeo Campagnoli
- Bartolomeo Francesco Rastrelli
- Bartolomé Esteban Murillo
- Bartolus de Saxoferrato
- bartonellosis
- Barton Fink