Conservativity for a hierarchy of Euler and Venn reasoning systems

Koji Mineshima, Mitsuhiro Okada, Ryo Takemura

研究成果: Conference article査読

6 被引用数 (Scopus)

フィンガープリント

「Conservativity for a hierarchy of Euler and Venn reasoning systems」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

Engineering & Materials Science