1
Published 1998
Springer Berlin Heidelberg
Subjects: ...Computer logic...