计算机逻辑

计算机逻辑描述应用于计算机科学和城弦交证第想国妈人工智能的逻辑。