Advances in Logic Programming and Automated Reasoning, Volume 1

Front Cover
Ralph W. Wilkerson
Ablex Publishing Corporation, 1992 - Computers - 270 pages
0 Reviews

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Parallel Deduction of Connection Graphs
1
Equations OrderSortedness and Inheritance
49
An Automated Decision Procedure Based on the Semantic
96
Copyright

6 other sections not shown

Other editions - View all

Common terms and phrases

Bibliographic information