Deductive tools of an algebraic programming system
2000 ◽
Vol 36
(1)
◽
pp. 12-26
◽
Keyword(s):
Keyword(s):
2017 ◽
Vol 9
(4)
◽
pp. 343-352
1969 ◽