1
by Bibel, Wolfgang, Biermann, A.W., Delgrande, J.P., Huet, G.
Published 1986
Springer Berlin Heidelberg
Subjects: '; ...Computer logic...