Login / Signup

Simplification of Proof Procedures Based on the Path Condition Concepts.

Mireille LarnacJanine MagnierVincent Chapurlat
Published in: EUROCAST (1999)
Keyphrases
  • proof procedures
  • machine learning
  • expert systems
  • natural language processing
  • semantic relations
  • inference rules