scientific article; zbMATH DE number 1302386
From MaRDI portal
Publication:4247688
zbMath0929.03020MaRDI QIDQ4247688
Lassaad Cheikhrouhou, Jörg H. Siekmann
Publication date: 25 January 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
unsolvabilityproof planningdiagonalization proof techniqueknowledge-based approach for proof construction
Related Items (3)
Computer supported mathematics with \(\Omega\)MEGA ⋮ Knowledge-based proof planning ⋮ MBase: Representing knowledge and context for the integration of mathematical software systems
This page was built for publication:
