Norman Rubin
A Hierarchical Technique for Mechanical Theorem Proving and Its Application to Programming Language Design (Classic Reprint)
Norman Rubin
Paperback. Forgotten Books, 2016-08-24
ISBN 9781333351274
A Hierarchical Technique for Mechanical Theorem Proving and its Application to Programming Language Design
Norman Rubin
Hardcover. Palala Press, 2015-09-10
ISBN 9781342274304
A Hierarchical Technique for Mechanical Theorem Proving and Its Application to Programming Language Design
Norman Rubin
Paperback. General Books LLC, 2010-01-18
ISBN 9781153489072
Ship Modeler's Shop Notes
Merritt Edson
Ben Lankford
Edward Mueller
Norman Rubin
Spiral-bound. Nautical Research Guild, 1986-06-01
ISBN 9780960345618
Categories
Address Books & Journals
Art & Architecture
Biography
Business, Finance & Law
Comics & Graphic Novels
Computers & Internet
Crime, Thrillers & Mystery
Fiction
Food & Drink
Health & Family
History
Home & Garden
Horror
Mind, Body & Spirit
Music, Stage & Screen
Poetry, Drama & Criticism
Reference & Languages
Religion & Spirituality
Science & Nature
Science Fiction & Fantasy
Scientific & Medical
Society & Philosophy
Sports & Hobbies
Book reviews
|
Help & support
|
About us