👤

Norman Rubin

3 books

Books by Norman Rubin

Speculative Edge, Issue 3, Oct
Speculative Edge, Issue 3, October 2012
2012
What keeps us from freezing in
What keeps us from freezing in the dark
1980
A hierarchical technique for mechanical theorem proving and its application to programming language design
A hierarchical technique for mechanical theorem proving and its application to programming language design
1976