Formal Program Development in Modular Prolog : A Case Study
1996 ◽
Vol 41
(8-9)
◽
pp. 571-588
◽
2020 ◽
Vol 7
(1)
◽
pp. 1-15
1993 ◽
pp. 704-705
◽
2010 ◽
Vol 85
(12)
◽
pp. 1874-1879
◽
2011 ◽
Vol 11
(7)
◽
pp. 519-527
Keyword(s):
Keyword(s):
2012 ◽
Vol 14
(2)
◽
pp. 51
2003 ◽
Vol 1856
(1)
◽
pp. 87-95
◽