Using Sophisticated Models in Resolution Theorem ProvingDavid M. Sandford25,49 €Última copia4,3Añadir al carrito
