Improved theorem prover by using the semantics of structure
View on Open Library ↗

Improved theorem prover by using the semantics of structure

by

12 min read
Rate this book:
46 pages 1985

About This Book

This volume was digitized and made accessible online due to deterioration of the original print copy.

Buy This Book

Amazon → Open Library Borrow Free to borrow →

As an Amazon Associate and Bookshop.org affiliate, BookOrb earns from qualifying purchases.

Write a Review

Sign in to write a review.