The problem of induction

DOI10.1007/BF00881876zbMath0802.68135OpenAlexW2091606948WikidataQ114267035 ScholiaQ114267035MaRDI QIDQ1319388

Larry Wos

Publication date: 12 April 1994

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00881876

zbMATH Keywords

automated reasoninginductionunsolved research problem

Mathematics Subject Classification ID

Uses Software

• OTTER

Cites Work

• Proof Checking the RSA Public Key Encryption Algorithm
• A Mechanical Proof of the Unsolvability of the Halting Problem
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The problem of induction