Books by Norman Rubin
Speculative Edge, Issue 3, October 2012
2012
A hierarchical technique for mechanical theorem proving and its application to programming language design
1976
You can't kill me, I'm already dead: A Vampire Anthology
2012
Temptations and Other Sins
Temptations and Other Sins
2013
What keeps us from freezing in the dark
What keeps us from freezing in the dark
1980
Can't find the book you're looking for? Let us know — it helps us improve.