Principles of computing and knowledge

Front Cover

From inside the book

What people are saying - Write a review

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

Contents

Paris C Kanellakis
1
Static Reasoning about Programs and Queries
28
Extending The Constraint Database Framework
42
Copyright

4 other sections not shown

Common terms and phrases

Bibliographic information