Computational Logic - Symposium Proceedings, Brussels, November 13/14, 1990

This volume has a dual significance to the ESPRIT Basic Research efforts towards forging strong links between European academic and industrial teams carrying out research, often interdisciplinary, at the forefront of Information Technology.