Mechanizing Induction

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Research

Authors

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	https://doi.org/10.1016/B978-0-444-52936-7.50018-5
Publication status	Published - 2011