Login / Signup
Proof planning for strategy development.
Andrew Ireland
Jamie Stark
Published in:
Ann. Math. Artif. Intell. (2000)
Keyphrases
</>
proof planning
concept formation
knowledge based systems
theorem proving
building intelligent