| Translated title of the contribution | Mechanizing Induction |
|---|---|
| Original language | English |
| Title of host publication | Handbook of the History of Logic, Volume 10: Inductive Logic |
| Pages | 719-772 |
| DOIs | |
| Publication status | Published - 2011 |
Mechanizing Induction
Ronald Ortner, Hannes Leitgeb
Research output: Chapter in Book/Report/Conference proceeding › Chapter › Research
4
Citations
(Scopus)