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
Buy from Amazon.co.uk
More books by Norman Rubin
A Hierarchical Technique for Mechanical Theorem Proving and its Application to Programming Language Design
Hardcover
2015
A Hierarchical Technique for Mechanical Theorem Proving and Its Application to Programming Language Design
Paperback
2010
Ship Modeler's Shop Notes
Spiral-bound
1986
Similar books
A Hierarchical Technique for Mechanical Theorem Proving and its Application to Programming Language Design
Spiral-bound
1986
A Hierarchical Technique for Mechanical Theorem Proving and Its Application to Programming Language Design
Spiral-bound
1986
From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions
Spiral-bound
1986
Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving, and Polynomial Equations-Solving
Spiral-bound
1986
Mechanical Geometry Theorem Proving
Spiral-bound
1986
Rate the book
Write a review and share your opinion with others. Try to focus on the content of the book.
Read our instructions
for further information.
A Hierarchical Technique for Mechanical Theorem Proving and Its Application to Programming Language Design
Your rating:
Please enter a title for your review
(min 2 words):
Type your review in the space below
(max 1000 words):
Language of the review:
English
Your name
(optional):
Your email address
(not displayed,
only
for verification):
Your review will be displayed within five to seven business days.
Reviews that doesn't follow our
instructions
will not be displayed.
Book reviews
»
A Hierarchical Technique for Mechanical Theorem Proving and Its Application to Programming Language Design (Classic Reprint)
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