Symposium on Logic Programming

Front Cover
IEEE Computer Society Press, 1987 - Computer programming
0 Reviews

From inside the book

What people are saying - Write a review

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

Contents

Opening Session
1
Logic Equations and Functions
17
A Theory of Modules Based on SecondOrder Logic
24
Copyright

41 other sections not shown

Common terms and phrases

Bibliographic information