Yazar
Norman Rubin
4 cilt bulundu.
Cilt sonuçları
A hierarchical technique for mechanical theorem proving and its application to programming language design
Norman Rubin · Courant Institute of Mathematical Sciences, New York University
172 sayfa · 1976
Kategori yok
Speculative Edge, Issue 3, October 2012
Shane Collins, Norman Rubin, Nathan Rowark, Ken Jones · CreateSpace Independent Publishing Platform
88 sayfa · 2012
Kategori yok
You can't kill me, I'm already dead: A Vampire Anthology
Mr Alan Russo, Mr. Kenneth Whitfield, Mr. Joseph A. Pinto, Mr. Tyson West, Mr. Joseph J. Patchen, Mr. D.J. Currivean, Mr. Mark Slade, Mr. Steven Deman, Mr. Jay Wilburn, Ms. Nikki Vogel, Ms. Elise Thomas, T. Fox Dunham, Mr. Norman A. Rubin, Mr. Denny E. Marshall, · CreateSpace Independent Publishing Platform