Mechanizing Induction
Research output: Chapter in Book/Report/Conference proceeding › Chapter › Research
Standard
Mechanizing Induction. / Ortner, Ronald; Leitgeb, Hannes.
Handbook of the History of Logic, Volume 10: Inductive Logic. 2011. p. 719-772.
Handbook of the History of Logic, Volume 10: Inductive Logic. 2011. p. 719-772.
Research output: Chapter in Book/Report/Conference proceeding › Chapter › Research
Harvard
Ortner, R & Leitgeb, H 2011, Mechanizing Induction. in Handbook of the History of Logic, Volume 10: Inductive Logic. pp. 719-772. https://doi.org/10.1016/B978-0-444-52936-7.50018-5
APA
Ortner, R., & Leitgeb, H. (2011). Mechanizing Induction. In Handbook of the History of Logic, Volume 10: Inductive Logic (pp. 719-772) https://doi.org/10.1016/B978-0-444-52936-7.50018-5
Vancouver
Ortner R, Leitgeb H. Mechanizing Induction. In Handbook of the History of Logic, Volume 10: Inductive Logic. 2011. p. 719-772 doi: 10.1016/B978-0-444-52936-7.50018-5
Author
Bibtex - Download
@inbook{1ab77f40a4f5443f9dea64bdf48c8f93,
title = "Mechanizing Induction",
author = "Ronald Ortner and Hannes Leitgeb",
year = "2011",
doi = "10.1016/B978-0-444-52936-7.50018-5",
language = "English",
isbn = "0-444-52936-5",
pages = "719--772",
booktitle = "Handbook of the History of Logic, Volume 10: Inductive Logic",
}
RIS (suitable for import to EndNote) - Download
TY - CHAP
T1 - Mechanizing Induction
AU - Ortner, Ronald
AU - Leitgeb, Hannes
PY - 2011
Y1 - 2011
U2 - 10.1016/B978-0-444-52936-7.50018-5
DO - 10.1016/B978-0-444-52936-7.50018-5
M3 - Chapter
SN - 0-444-52936-5
SP - 719
EP - 772
BT - Handbook of the History of Logic, Volume 10: Inductive Logic
ER -
