Logic, Reasoning, and Logical Form
Keyword(s):
2009 ◽
Vol 19
(12)
◽
pp. 3091-3099
◽
Keyword(s):
Integrating semantic NLP and logic reasoning into a unified system for fully-automated code checking
2017 ◽
Vol 73
◽
pp. 45-57
◽
Keyword(s):
Keyword(s):
1986 ◽
Vol 2
(2)
◽
pp. 185-195
◽
Keyword(s):