2.4 谓词演算的关系式

• 书名：离散数学及其应用（第2版）
• 作者名：陈琼 马千里 周育人 陈伟能等编著
• 本章字数：2241字
• 更新时间：2025-01-22 14:31:10