Login / Signup
Structured Proof Procedures.
Enrico Giunchiglia
Alessandro Armando
Paolo Pecchiari
Published in:
Ann. Math. Artif. Intell. (1995)
Keyphrases
</>
proof procedures
inference rules
winning strategy
proof procedure
artificial intelligence
orders of magnitude