Reading Length
Home
Speed Tests
Login
Norman Rubin
Identifiers
Open Library
OL5603399A
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 University
1976-01-01
What keeps us from freezing in the dark
a breakdown of Canada's secondary energy consumption by fuel type (1977)
Energy Probe
1980-01-01
Speculative Edge, Issue 3, October 2012
CreateSpace Independent Publishing Platform
2012-01-01
