scientific article

zbMath1063.68660MaRDI QIDQ3024890

Wai Wong

Publication date: 4 July 2005

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

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items (1)

TacticToe: learning to prove with tactics

Uses Software

• HOL

This page was built for publication: