Norman Rubin · 3 obras en el catálogoObrasA hierarchical technique for mechanical theorem proving and its application to programming language design1976WWhat keeps us from freezing in the darkWhat keeps us from freezing in the dark1980SSpeculative Edge, Issue 3, October 2012Speculative Edge, Issue 3, October 2012
A hierarchical technique for mechanical theorem proving and its application to programming language design1976
