scientific article; zbMATH DE number 1787153

zbMath1009.68110MaRDI QIDQ4548193

Mateja Jamnik, Ian Green, Alan Bundy

Publication date: 21 August 2002

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

zbMATH Keywords

automated theorem provingdiagrammatic proofs

Mathematics Subject Classification ID

General topics in artificial intelligence (68T01)

Related Items

Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method

Uses Software

• Nuprl

This page was built for publication: