Arnold Beckmann, Costas Dimitracopoulos, Benedikt Löwe

Logic and Theory of Algorithms - Germany Springer 2008

978-3-540-69407-6


Computer Science
Logic and Theory of Algorithms