On a cultural gap
From MaRDI portal
Publication:1071498
DOI10.1007/BF03023921zbMath0586.68025WikidataQ56047773 ScholiaQ56047773MaRDI QIDQ1071498
Publication date: 1986
Published in: The Mathematical Intelligencer (Search for Journal in Brave)
Related Items
Three Debates about Computing, A predicate transformer for progress, Computer programs and mathematical proofs, Social processes, program verification and all that