The mechanisation of inference : Venn’s logical-diagram machine
Moktefi, Amirouche
Icon
2024
/
p. 45-59
https://doi.org/10.11590/icon.2024.2.02
https://www.scopus.com/sourceid/19600156834
https://www.scopus.com/pages/publications/85218780597?inward