Equational Logic as a Programming Language

by Michael J. O'Donnell

This book provides a comprehensive description of the theoretical foundations, design, and implementation of an innovative logic programming language in which computations are produced directly from... This description may be from another edition of this product.

• Format: Hardcover
• Language: English
• ISBN: 026215028X
• ISBN13: 9780262150286
• Release Date: January 1985
• Publisher: MIT Press (MA)
• Length: 250 Pages
• Weight: 0.05 lbs.
• Dimensions: 0.9" x 7.3" x 9.4"