Publications

Found 1 results

Sort by:[Year][Title][Type][Author]
Filters: author is Kelly  [Clear All Filters]
J
A Revised Tactic Semantics for the Tableau Work Bench, Kelly, J. , Department of Computer Science, Canberra, Australia, p.74, (2009) Abstract