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