Logical interpretation about problem types and solution strategies of the Butterfly model for the automation of contradiction-based provlem solving
2010 ◽
Vol 31
(2)
◽
pp. 95-100
◽
Keyword(s):
2020 ◽
2020 ◽
Vol 4
(1)
◽
1983 ◽
Vol 12
(2)
◽
pp. 130-136
◽
2013 ◽
Vol 368-370
◽
pp. 146-149
Keyword(s):