Toward Mechanical Mathematics
From MaRDI portal
Publication:3275832
DOI10.1147/rd.41.0002zbMath0097.00404WikidataQ56454837 ScholiaQ56454837MaRDI QIDQ3275832
Publication date: 1960
Published in: IBM Journal of Research and Development (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1147/rd.41.0002
Related Items
Logical approach to control theory and applications, In Memoriam: Hao Wang 1921–1995, On Correctness of Mathematical Texts from a Logical and Practical Point of View, Heuristic programming: A survey, Supporting the formal verification of mathematical texts, A decidable fragment of predicate calculus, On the role of unification in mechanical theorem proving, Doing arithmetic without diagrams, Towards the automation of set theory and its logic, The problem of reasoning by case analysis, The relative complexity of resolution and cut-free Gentzen systems, A method for the synthesis of deducibility conditions for Horn and some other formulas, lean\(T^ AP\): Lean tableau-based deduction, Knowledge-based proof planning, An approach to a systematic theorem proving procedure in first-order logic, Beweisalgorithmen für die Prädikatenlogik, Breadth-first search: some surprising results, Solution lifting method for handling meta-variables in TH\(\exists\)OREM\(\forall\), The reduction method. I: