"Learning from Łukasiewicz and Meredith: Investigations into Proof Structures (Extended Version)", Christoph Wernha… https://t.co/xQnNPJ2u56
1,163 followers
221 followers
Learning from {\L}ukasiewicz and Meredith: Investigations into Proof Structures (Extended Version) https://t.co/HXNwFtApGK
3,602 followers
Learning from Łukasiewicz and Meredith: Investigations into proof structures (Extended version). ~ Christoph Wernhard, Wolfgang Bibel. https://t.co/XSPPsn9vrz #ATP #Prover9 #Logic
2,175 followers
#Learning from {\L}ukasiewicz and Meredith: Investigations into Proof Structures (Extended Version). (arXiv:2104.13645v1 [https://t.co/IRbsqt1NnR]) https://t.co/5zlzdMWdbB #artificialintelligence #ai