scientific article
From MaRDI portal
Publication:3821628
zbMath0668.68102MaRDI QIDQ3821628
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Classical first-order logic (03B10) Mechanization of proofs and logical operations (03B35) General topics in the theory of software (68N01)
Related Items (1)
This page was built for publication: