A diagrammatic inference system with Euler circles

From MaRDI portal
Publication:2255200

DOI10.1007/s10849-012-9160-6zbMath1305.03014OpenAlexW2122880497MaRDI QIDQ2255200

Koji Mineshima, Mitsuhiro Okada, Ryo Takemura

Publication date: 9 February 2015

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10849-012-9160-6




Related Items (10)



Cites Work




This page was built for publication: A diagrammatic inference system with Euler circles