Norman Rubin
Identifiers
- Open LibraryOL5603399A
Top Subjects
- Energy consumption -- Canada (1)
- Fuel -- Canada (1)
Books by Norman Rubin
Total count: 3
A hierarchical technique for mechanical theorem proving and its application to programming language design.Courant Institute of Mathematical Sciences, New York University1976-01-01-
What keeps us from freezing in the darka breakdown of Canada's secondary energy consumption by fuel type (1977)Energy Probe1980-01-01
-
Speculative Edge, Issue 3, October 2012CreateSpace Independent Publishing Platform2012-01-01