| Titel in Übersetzung | Mechanizing Induction |
|---|---|
| Originalsprache | Englisch |
| Titel | Handbook of the History of Logic, Volume 10: Inductive Logic |
| Seiten | 719-772 |
| DOIs | |
| Publikationsstatus | Veröffentlicht - 2011 |
Mechanizing Induction
Ronald Ortner, Hannes Leitgeb
Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in Buch/Sammelband › Forschung
4
Zitate
(Scopus)