1
by Alferes, Jose Julio, Moniz Pereira, Luis
Published 1996
Springer Berlin Heidelberg
Subjects: '; ...Computer logic...