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 · 相关技术
暂无数据