1
by Bidoit, Michel, Mosses, Peter D.
Published 2004
Springer Berlin Heidelberg
Subjects: '; ...Computer logic...