Two types of diagrammatic inference systems: Natural deduction style and resolution style

Koji Mineshima, Mitsuhiro Okada, Ryo Takemura

研究成果: Conference contribution

11 被引用数 (Scopus)

フィンガープリント

「Two types of diagrammatic inference systems: Natural deduction style and resolution style」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

Mathematics