Title: Scai '88
Subjects: Artificial intelligence, Congresses, Online data processing, Symbolic and mathematical Logic