AUTOMATED DEDUCTION: Related Papers in ACL Anthology
Back to Document Index
Back to Term Index
-
Concordance view (Keyword-In-Context) for the term automated deduction in the ACL ARC 2.0;
- Concordance view in the ACL ARC 1.0 (Sketch Engine Service).
AUTOMATED DEDUCTION can be found in the following ACL ARC 1.0 documents (click to explore):
- (ACL ID: E95-1019) higher-order linear logic programming of categorial deduction
- (ACL ID: H86-1003) overview of the tacitus project
- (ACL ID: J03-2002) implementing the binding and accommodation theory for anaphora resolution and presupposition projection
- (ACL ID: J86-3006) the finite string newsletter
* See also a list of some of the related terms to automated deduction.
Back to Description Index
