逻辑，编程和序言，第二版Logic, Programming and Prolog, Second Edition

【文件属性】：

文件名称：逻辑，编程和序言，第二版Logic, Programming and Prolog, Second Edition

文件大小：89B

文件格式：TXT

更新时间：2022-12-05 12:58:24

计算机科学

介绍并发，方程式和约束逻辑编程等主题。 在对理论进行清晰，权威的处理与实际应用中解决问题的方法之间取得平衡。