1
by Burkart, Olaf
Published 1997
Springer Berlin Heidelberg
Subjects: '; ...Computer logic...