Hierarchical Technique for Mechanical Theorem Proving and Its Application to Programming Language Design (Classic Reprint)

Name: Hierarchical Technique for Mechanical Theorem Proving and Its Application to Programming Language Design (Classic Reprint)
Author: Rubin, Norman
ISBN: 9780331712292

by Rubin, Norman

Marketplace Prices
Used from $77.44

Used
$77.44

Item Details
Condition: Good
Provider: Bonita Contact
Provider Rating:

0%
Ships From: Multiple Locations
Shipping: Standard
Comments: Access codes and supplements are not guaranteed with used items. May be an ex-library book.

ISBN-13: 9780331712292
ISBN: 0331712296
Publication Date: 2017
Publisher: Forgotten Books

AUTHOR

Rubin, Norman

SUMMARY

Rubin, Norman is the author of 'Hierarchical Technique for Mechanical Theorem Proving and Its Application to Programming Language Design (Classic Reprint)', published 2017 under ISBN 9780331712292 and ISBN 0331712296.

[read more]