A Hierarchical Technique for Mechanical Theorem Proving and its Application to Programming Language Design

Name: A Hierarchical Technique for Mechanical Theorem Proving and its Application to Programming Language Design
Brand: Creative Media Partners, LLC
SKU: 9781024208504
Price: 13.95 GBP
Availability: InStock

Product form

A Paperback by Norman Rubin

£13.95

Includes FREE delivery

Order before 4pm today for delivery by Fri 16 Oct 2026.

Trusted by thousands of customers. See 2,385+ Customer Reviews

View other formats and editions of A Hierarchical Technique for Mechanical Theorem Proving and its Application to Programming Language Design by Norman Rubin

Book details

Publisher Creative Media Partners, LLC

Published 22 May 2025

ISBN-13 9781024208504
978-1024208504

Also in:
Mathematics Mathematical logic