Login / Signup
Proof planning for maintainable configuration systems.
Helen Lowe
Michal Pechoucek
Alan Bundy
Published in:
Artif. Intell. Eng. Des. Anal. Manuf. (1998)
Keyphrases
</>
proof planning
theorem proving
cooperative
concept formation