scientific article
From MaRDI portal
Publication:2767093
zbMath0983.68531MaRDI QIDQ2767093
Publication date: 28 January 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
Proof planning with multiple strategies ⋮ A proof-centric approach to mathematical assistants ⋮ Computer supported mathematics with \(\Omega\)MEGA ⋮ Knowledge-based proof planning ⋮ Agenda control for heterogeneous reasoners ⋮ Constraint solving for proof planning
Uses Software
This page was built for publication:
