Norman Rubin

No bio available. Add one in Open Library.

Books by Norman Rubin (50 max)

+ shelf+ list

A hierarchical technique for mechanical theorem proving and its application to programming language design.

1976

Norman Rubin

+ shelf+ list

What keeps us from freezing in the dark: a breakdown of Canada's secondary energy consumption by fuel type (1977)

1980

Norman Rubin

+ shelf+ list

Speculative Edge, Issue 3, October 2012

2012

Shane Collins, Norman Rubin, Nathan Rowark, Ken Jones