scientific article
From MaRDI portal
Publication:2899004
zbMath1249.03006MaRDI QIDQ2899004
Publication date: 13 July 2012
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
automated reasoningRussellformal mathematicsautomated proof checkingpresentation of mathematical knowledge
Symbolic computation and algebraic computation (68W30) Mechanization of proofs and logical operations (03B35)
Related Items (1)
Uses Software
This page was built for publication: