scientific article; zbMATH DE number 1497744

zbMath0958.68152MaRDI QIDQ4499154

Volker Sorge, Erica Melis

Publication date: 6 March 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

computer algebra systemsconstraint solversproof planners

Mathematics Subject Classification ID

Related Items

Knowledge-based proof planning, Solution lifting method for handling meta-variables in TH\(\exists\)OREM\(\forall\)