Login / Signup

Structured Proof Procedures.

Enrico GiunchigliaAlessandro ArmandoPaolo Pecchiari
Published in: Ann. Math. Artif. Intell. (1995)
Keyphrases
  • proof procedures
  • inference rules
  • winning strategy
  • proof procedure
  • artificial intelligence
  • orders of magnitude