📝 提交该分类网址

📁 计算逻辑

计算逻辑包括那些对一般逻辑的方法，其中计算理论的见解起着至关重要的作用，例如在逻辑中的决策问题、逻辑的有效语义、证明理论和定理证明的计算有效框架中。

子分类

📁 逻辑自动推理

📁 CombinatoryLogicandLambdaCalculus

📁 LogicalFrameworks

条目 (0+)

全部 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

该分类暂时没有条目。