scientific article; zbMATH DE number 3362981

zbMath0228.68025MaRDI QIDQ5636315

John Alan Robinson

Publication date: 1969

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05)

Related Items

On the termination of clause graph resolution, A compact representation of proofs, Unification theory, Unnamed Item, Automatic theorem proving. II, Mechanizing \(\omega\)-order type theory through unification, Superposition with lambdas, Superposition with lambdas, Extending SMT solvers to higher-order logic, Higher-order unification revisited: Complete sets of transformations, A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction