scientific article
From MaRDI portal
Publication:3345811
zbMath0552.68077MaRDI QIDQ3345811
Robert S. Boyer, J. Strother Moore
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
heuristicsFermat's theoremverification condition generatorrecursive unsolvability of the halting problemuniqueness of prime factorizations
Symbolic computation and algebraic computation (68W30) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (2)
The problem of induction ⋮ A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction
This page was built for publication:
