文件名称：离散数学，逻辑和可计算性的Prolog实验Prolog Experiments in Discrete Math, Logic, and Computability
文件大小：1.32MB
文件格式：PDF
更新时间：2022-11-15 21:49:36
数学
本书包含旨在加强对离散数学，逻辑和可计算性的学习的编程实验。
离散数学，逻辑和可计算性的Prolog实验Prolog Experiments in Discrete Math, Logic, and Computability
【文件属性】：