Login / Signup
Descente Infinie + Deduction.
Claus-Peter Wirth
Published in:
Log. J. IGPL (2004)
Keyphrases
</>
inference rules
theorem proving
automated theorem proving
automated deduction
knowledge base
search algorithm
computational complexity
probabilistic model
deductive reasoning