scientific article
From MaRDI portal
Publication:3478365
zbMath0701.00040MaRDI QIDQ3478365
No author found.
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
computer scienceautomatic verificationtyped lambda calculusZermelo-Fraenkel set theorycorrectness proofsmathematical sciencesproof checkingclassical predicate logicAutomathcomplete formalizationelectronic publicationjustification systems
Philosophy of mathematics (00A30) Artificial intelligence (68T99) Proof theory and constructive mathematics (03F99)
Related Items (2)
Supporting the formal verification of mathematical texts ⋮ Symbolic computation in nonlinear dynamics
This page was built for publication:
