Automated Theorem Finding by Forward Reasoning Based on Strong Relevant Logic: A Case Study in Graph Theory
Keyword(s):
Keyword(s):
2019 ◽
Vol 12
(7)
◽
pp. 924-944
2012 ◽
Vol 433-440
◽
pp. 4794-4797
◽
Keyword(s):
Keyword(s):
2020 ◽
Vol 38
(5)
◽
pp. 5523-5534