Computational Logic 1990

ESPRIT Symposium on Computational Logic
Brussels, Belgium, 13/11/1990–14/11/1990
works as
origin event for publication
Publication_icon.svg Computational Logic (edited volume, 1990) — John W. Lloyd