The topics involving relations between computability and other areas of logic and mathematics are reversemathematics and ...
計算可能性とその他の領域の論理および数学との関係を含むトピックとしては、逆数学や...があり、... - コンピューター用語辞典
例文データの著作権について
Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved.