scientific article
From MaRDI portal
Publication:3817655
zbMath0666.68096MaRDI QIDQ3817655
No author found.
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (6)
Towards finding longer proofs ⋮ Octopus: combining learning and parallel search ⋮ Proving theorems by reuse ⋮ Experiments in the heuristic use of past proof experience ⋮ A theory of abstraction ⋮ The problem of reasoning by analogy
This page was built for publication:
