Ontology in Coq for a Guided Message Composition
Keyword(s):
2015 ◽
Vol 9
(2)
◽
pp. 141-151
◽
2011 ◽
Vol 68
(3-4)
◽
pp. 451-458
◽
2007 ◽
Vol 56
(6)
◽
pp. 3244-3255
◽
1986 ◽
Vol 2
(4)
◽
pp. 152-159
◽
2008 ◽
Vol 11
(3-4)
◽
pp. 181-193
Keyword(s):