scientific article
From MaRDI portal
Publication:3685233
zbMath0568.68070MaRDI QIDQ3685233
Andrzej Trybulec, Howard A. Blair
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (8)
Four decades of {\textsc{Mizar}}. Foreword ⋮ Two over three: a two-valued logic for software specification and validation over a three-valued predicate calculus ⋮ \textit{Theorema}: Towards computer-aided mathematical theory exploration ⋮ Crystal: Integrating structured queries into a tactic language ⋮ Proof tactics for a theory of state machines in a graphical environment ⋮ Formalizing Scientifically Applicable Mathematics in a Definitional Framework ⋮ Proof Auditing Formalised Mathematics ⋮ A Shell for Generic Interactive Proof Search
Uses Software
This page was built for publication:
