scientific article
From MaRDI portal
Publication:4002491
zbMath0823.68097MaRDI QIDQ4002491
Publication date: 23 January 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Logic in artificial intelligence (68T27) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items (8)
Proof by analogy in mural ⋮ Reuse of proofs in software verification ⋮ Proving theorems by reuse ⋮ Internal analogy in theorem proving ⋮ Analogy in Automated Deduction: A Survey ⋮ Partial matching for analogy discovery in proofs and counter-examples ⋮ A Pragmatic Approach to Reuse in Tactical Theorem Proving ⋮ Proofs as schemas and their heuristic use
This page was built for publication:
