Back to Document Index
Back to Term Index
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
This page last edited on 12 October 2025.
