A Logic Teaching Tool Based on Tableaux for Verification and Debugging of Algorithms
2011 ◽
pp. 239-248
◽
Keyword(s):
2011 ◽
Vol 14
(2)
◽
pp. 46-56
◽
2014 ◽
Vol 1
(1)
◽
pp. 111-114
Keyword(s):
Keyword(s):
Keyword(s):