Mechanizing Induction

Publikationen: Beitrag in Buch/Bericht/KonferenzbandBeitrag in Buch/SammelbandForschung

Standard

Mechanizing Induction. / Ortner, Ronald; Leitgeb, Hannes.
Handbook of the History of Logic, Volume 10: Inductive Logic. 2011. S. 719-772.

Publikationen: Beitrag in Buch/Bericht/KonferenzbandBeitrag in Buch/SammelbandForschung

Harvard

Ortner, R & Leitgeb, H 2011, Mechanizing Induction. in Handbook of the History of Logic, Volume 10: Inductive Logic. S. 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 (S. 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. S. 719-772 doi: 10.1016/B978-0-444-52936-7.50018-5

Author

Ortner, Ronald ; Leitgeb, Hannes. / Mechanizing Induction. Handbook of the History of Logic, Volume 10: Inductive Logic. 2011. S. 719-772

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 -