An A-Prolog Decision Support System for the Space Shuttle 论文

2001Lecture notes in computer science引用 228
Logic, Reasoning, and KnowledgeAI-based Problem Solving and PlanningLogic, programming, and type systems

An A-Prolog Decision Support System for the Space Shuttle · 相关文章

暂无数据