A Logical Approach to Discrete Math 论文

1993引用 342
Mathematical and Theoretical AnalysisLogic, Reasoning, and KnowledgeComputability, Logic, AI Algorithms