Automated Deduction -- CADE-23de Nikolaj Bjørner, Viorica Sofronie-StokkermansEdiciones (1)Automated Deduction -- CADE-23 (2011)Springer · ISBN 9783642224393Más obras de Nikolaj BjørnerPerspectives of System InformaticsFM 2015 : Formal MethodsVer todas las obras de Nikolaj Bjørner →
