Title: Deduction Computation Experiment Exploring The Effectiveness Of Proof
Subjects: Philosophy, Symbolic and mathematical Logic, Logic, Mathematical physics, Philosophy of nature, Information theory, Evidence, Beweis, Mathematik, Wissenschaftstheorie, Congresses