Now showing items 1-1 of 1
The Use of Data-Mining for the Automatic Formation of Tactics
As functions which further the state of a proof in automated theorem proving, tactics are an important development in automated deduction. This thesis describes a method to tackle the problem of tactic formation. Tactics ...