scientific article

zbMath0997.68130MaRDI QIDQ2765707

Judit Robu

Publication date: 24 January 2002

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

zbMATH Keywords

mechanical geometry theorem proving

Mathematics Subject Classification ID

Uses Software

• Unnamed Item

This page was built for publication: