ESOP '88de Harald GanzingerEdiciones (1)ESOP '88 (2007)Springer · inglés · ISBN 9783540190271Más obras de Harald GanzingerLogic for programming and automated reasoningInformatikAutomated Deduction - CADE-16Ver todas las obras de Harald Ganzinger →