Mathematical induction

  • Christoph Walther
  • Published 1994 in
    Handbook of Logic in Artificial Intelligence and…
Sorry, there's nothing here.


Citations per Year

68 Citations

Semantic Scholar estimates that this publication has 68 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@inproceedings{Walther1994MathematicalI, title={Mathematical induction}, author={Christoph Walther}, booktitle={Handbook of Logic in Artificial Intelligence and Logic Programming}, year={1994} }