Computational logic : symposium proceedings, Brussels, November 13/14, 1990 /

Bibliographic Details
Corporate Author: Symposium on Computational Logic Brussels
Other Authors: Lloyd, John Wylie, 1947- (ed.)
Format: Conference Proceeding Book
Published: Berlin : Springer, 1990.
Series:ESPRIT basic research series
Subjects: