1
by Kröger, Fred
Published 1987
Springer Berlin Heidelberg
Subjects: '; ...Computer logic...

2
by Kröger, Fred, Merz, Stephan
Published 2008
Springer Berlin Heidelberg
Subjects: '; ...Computer logic...