Publication:5672191
From MaRDI portal
zbMath0257.68060MaRDI QIDQ5672191
No author found.
Publication date: 1972
68Q45: Formal languages and automata
68N01: General topics in the theory of software
03D99: Computability and recursion theory
Related Items
Theorem proving in a mathematical information environment, Deductive tools of an algebraic programming system