scientific article
From MaRDI portal
Publication:4012877
zbMath0799.68169MaRDI QIDQ4012877
Publication date: 27 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
Proving Ramsey's theory by the cover set induction: A case and comparision study. ⋮ A Ramsey theorem in Boyer-Moore logic ⋮ Interaction with the Boyer-Moore theorem prover: A tutorial study using the arithmetic-geometric mean theorem ⋮ Verifying a signature architecture: a comparative case study ⋮ CryptHOL: game-based proofs in higher-order logic ⋮ Set theory for verification. I: From foundations to functions
Uses Software
This page was built for publication:
