scientific article; zbMATH DE number 3407173
From MaRDI portal
Publication:5672191
zbMath0257.68060MaRDI QIDQ5672191
No author found.
Publication date: 1972
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) General topics in the theory of software (68N01) Computability and recursion theory (03D99)
Related Items (2)
Theorem proving in a mathematical information environment ⋮ Deductive tools of an algebraic programming system
This page was built for publication:
