What Was Llull Up To?
ARTS '97: Proceedings of the 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software: Transformation-Based Reactive Systems Development（1997）
关键词
Ternary Relation, Modern Logic, Opus Omnia, Modern Formal Logic, Fourth Figure
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要