Proceedings of the ... Annual National Conference on Artificial Intelligence, Volume 11, Part 1993

Front Cover
American Association for Artificial Intelligence, 1993 - Artificial intelligence
0 Reviews

From inside the book

What people are saying - Write a review

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

Contents

On Computing Minimal Models
2
On the Adequateness of the Connection Method
9
A Refinement of Resolution to Remove Large Literals
15
Copyright

64 other sections not shown

Common terms and phrases

Bibliographic information