1
by Bistarelli, Stefano
Published 2004
Springer Berlin Heidelberg
Subjects: '; ...Computer logic...