scientific article; zbMATH DE number 3589703
From MaRDI portal
zbMath0378.68006MaRDI QIDQ4157922
Zohar Manna, Richard Waldinger
Publication date: 1977
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) General topics in the theory of software (68N01)
Related Items
Controlling recursive inference, Theory construction in psychology: The interpretation and integration of psychological data, Deductive synthesis of sorting programs