scientific article; zbMATH DE number 1324439
From MaRDI portal
Publication:4255510
zbMATH Open0925.68400MaRDI QIDQ4255510
Christoph Kreitz, Thierry Boy de la Tour
Publication date: 16 August 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
Proving theorems by reuse ⋮ Analogy in Automated Deduction: A Survey ⋮ Partial matching for analogy discovery in proofs and counter-examples ⋮ Building proofs or counterexamples by analogy in a resolution framework
Uses Software
This page was built for publication:
